Time to abandon Tor 0.1.2.x?
I just tested an old 0.1.2.19 Tor, and it doesn't work as a client anymore (it can't bootstrap due to not having enough trusted directories available). We also have just three relays on 0.1.2.19 left, none of which are very big. If we finally manage to declare 0.1.2.x dead, we can drop a lot of old compatibility code from Tor in an 0.2.3.x timeframe. Are there reasons why we should not do this?