ordb1 uses milliseconds in its descriptor, spec says it can't
```
router ordb1 213.246.53.127 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.)
issue