Who is gonna make the PR (for milestone 1.27, after a whole 1.26 release deprecated) ready to remove Waf, not forgetting the documentation, README, INSTALL etc and the website (hint Enrico ;) Cheers Lex