Thanks for excellent reporting. For an accurate answer we need to ask @Colin, @TPG, @crisb, or @bero.
As far as I know man=manual so that is some kind of compressed file for manual pages? That’s a guess on my part. And I could be completely wrong. Also is your printer working. If so then my guess is that not something to worry about but developers may need to know about. And I’m embarrassed that I didn’t catch this when I updated my Lx 3 systems.