Auto-focus on text input

[jack]

With the javascript
document.getElementsByTagName("INPUT")[0].focus();

But it would be good if we got an official option.