Don't get me started on how sad it is that the JS stdlib does not contain proper time formatting.