Re: [PATCH] docs: remote spurious man page generated from doxygen