This is a patch to update saved/piemenus and adds the manpages to the
saved patch again, as they seem to be lost at the last update.