v1.23.0: +mse239382
v1.23.1: +mse239223
mse239382 partially fixed, remaining issues now reported as mse239549
default to SOUP.user.js if no input file name given
v1.23.3: +mse240553, -mse233470
v1.23.4: +mse240486
v1.23.5: rename stats1987 -> mse154788, add padding-right to work around spurious scroll bars in Chrome
v1.23.6: +mse240485
release v1.23.6 as v1.24.0