Fix web interface

4c7f4c4189e65e6d254c383ef0dceebe56ca0271 broke things: anything that
matched [0-9A-Za-z]+ was considered to be a username and thus
highlighted.

I apologize for the havoc that bug wreaked.