Time Zones

[johanley]

At present, when the user views data for a location in another time zone, the times (and some dates) are erroneous. This is a result of how, by default, javascript treats time zones.

Do we do anything about this? Or leave it alone?

[johanley]

It's probably difficult to fix. But I may be wrong.
The 'when' objects in ephem.js would need to change. The changes may prove difficult, even with some js library doing the hard work.

When you start dealing with time zones, you necessarily need to deal with data-sets that define them. Those data-sets are big, and they change often.