Use thousands separators in total downloads figure
Note more web front-end TODOs