[PHP-DOC] MacOS filename length and downloadable manuals

[Daniel Beckham]

I've noticed a couple of bug reports (#10445, #10862) about the filenames
being too large for MacOS users in the downloadable manual.  I know this is
in no way a trivial thing to fix, but what do we need to do with the bug
reports themselves?  Should they be left open until this can be fixed
sometime in the future?  Or closed to keep the bug system uncluttered?  (as
if that could be done, hehe)

Daniel