web time

It’s trivial to have good time strings and browser-based time conversion. Unfortunately, it’s not implemented.