are the src man .rst files used?

For kea-dhcp4 (for example) there are two different manual page .rst files:

doc/sphinx/man/kea-dhcp4.8.rst
src/bin/dhcp4/kea-dhcp4.rst

The doc uses only the first one so:

if the second file is useless it should be removed
if the second file can generate the first one a pointer to the procedure should be added (eventually after being written)
if the second file is used can someone explain how?

I have a side question: should have premium programs a manual page in the core doc? IMHO they should as we have already premium hook documentation in the (core) ARM.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information