Resolve "Fix automatic robot substitution"

Closes #1745

See merge request main/Sumatra!1518

sumatra-commit: 4db23dc3cf3ffbedd6739ef0b94bf805bf7b896d
2 jobs for master in 3 minutes and 20 seconds (queued for 1 second)