Fix web interface

4c7f4c4189e65e6d254c383ef0dceebe56ca0271 broke things: anything that
matched [0-9A-Za-z]+ was considered to be a username and thus
highlighted.
Merge pull request #85 from Minoru/remove-username-inconsistency

Fix web interface