As discussed on IRC, the proposed change in these comments is not possible because it would require moving the `focus()` call into another timeout, which of course does not work.

The conclusion we reached was that this code is fine and doesn't need any changing at the moment, given that there is no other simpler way to give focus.