The information in the file usually found in /usr/share/misc/operator is duplicated in the operator(7) manual page. Either form could be removed. So what do you think? Leave both versions? Remove the file? Remove the man page?