only generate-manpage.nix uses it any more, so we can inline it there instead of keeping it around as a separate generated header. doing so will also allow us to remove caching functions needed *only for this* Change-Id: I97ee91f1dd7140ecb69dbafd8479b82fba7981b8