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!
-- Reinhard
