Earlier version: published from the 3 October 2026 submission. The newer final upload contained only a shortcut.