On removing PHP 5 docs (yes, I saw the previous thread)

Hi guys, it's me again :) I just noticed the question about removing PHP 5 docs and I was very pleasantly surprised by Peter's and others approach to do so in a year. I'll just chim in and say that I had something similar on my mind and one night when I was struggling from insomnia I already did a rather significant portion of the removals on my fork's branch https://github.com/php/doc-en/compare/master...Sobak:experiment/remove-php5 Then I thought that you guys are never ever going to accept that so quickly and stopped but a really big part is already done. Soo... you know, just ping me when the time will come :) I have some experience from back then when I was removing PHP 4 bits so I believe that I should be able to finish it in a reasonable time. I only want to believe that I'm right and rebasing it on top of year's changes will not be _that_ hard :) Cheers! Maciej