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:+1
variant A: remove Woody after 2.1.5 release
variant B: remove Woody after 2.1.6 release+0
variant C: leave Woody where it is and mark it as "won't change"-0
/Daniel