Attached is a patch to fixup some of the juke documentation.  If this
should go to some other mailing list (9front-bugs?), let me know, or
if there are issues with it.