I'm +1 on A, +0.5 on B and -1 on C
As you may saw I've reverted the removal of Woody. IMO just for now and it should be removed ASAP. So let's vote on this:
variant A: remove Woody after 2.1.5 release
variant B: remove Woody after 2.1.6 release
variant C: leave Woody where it is and mark it as "won't change"
Your votes please!
(there is an upgrade script available which has of course to be tested but sooner or later it will do the upgrade for our users!)
-- Reinhard