[Xymon] $XYMONSERVERS vs $XYMONSERVER: Typo in xymongrep(1) man page?