Compress man pages
Add /opt/share/man to MANPATH
Merge pull request #12584 from terminalmage/shar-updates

Shar updates