Raspberry Pi port, piCore-16.0 is available!
man-db-doc.tczman-db-locale.tczman-db.tczman-doc.tczman-pages.tczman.tcz
/usr/local/share/man/man7/hier.7i guess appears to be stock