(I am not sure if `[autofocus]` matches attributes.)