Round average times in rankings to 4 decimals

This will help break ties. Ties closer than this will require database inspection.

Also removed an unecessary comment.

Closes #40