> Do we have a consensus on what should be done? Are we happy with > /usr/local/share/man? Yes. Next revision of FHS will fix the issue. Dan