Use `autofocus` HTML attribute rather than scripting it

Just a small tweak.