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