ordb1 uses milliseconds in its descriptor, spec says it can't
router ordb1 188.8.131.52 8002 0 0 platform Tor 0.2.3.25 on Linux x86_64 opt protocols Link 1 2 Circuit 1 published 2013-07-17 13:38:46.992
But dir-spec.txt says
"published" YYYY-MM-DD HH:MM:SS NL [Exactly once] The time, in UTC, when this descriptor (and its corresponding extra-info document if any) was generated.
It looks like it's violating the spec. Should we (i.e. the directory authorities) have validated and refused the descriptor?
Is it our Tor implementation that does this on a weird edge case, or did somebody mess with something?
(Noticed because contrib/exitlist can't handle it.)