Format the short score (for the page title) properly from the backend instead of...
[remoteglot] / bench.pl
2014-09-20 Steinar H. GundersonAdd a benchmark script to test the slowness of prettypr...