Examining http://localhost:8080/index/lasttime?sort=alpha we see
<ul><li> <a href="... which eats plenty of space at the
beginning of each line in one's browser. If <pre><a href="... were
used, each line would start at the left margin, and we could see more
at the end of long urls before they wrap or go off the screen. There
is no information lost too, as it is <ul> sacrificed here, not <ol>.
When we click various options, e.g.,
http://localhost:8080/index/lasttime?sort=alpha;refresh, the nbsp that
gets inserted could be instead just a blank, or better yet nothing
in fact.
