I'm not sure it is worthwhile or desireable to add these to the gnumach sources. But certainly they should be made easily available. Perhaps you would like to put together a mach-docs package that could be distributed on gnu ftp sites, as well as set these up to be readable via the hurddocs web site?