Robot fixes.

Also fixes #5244.
While you're at it; removing <META HTTP-EQUIV='Refresh' CONTENT='10'> from here will stop the window from stealing focus every few seconds.