/** @page utilities Player utilities Several utilities are included with the Player distribution: - @ref player_util_playerv : Sensor visualization GUI, with some teleoperation capabilities - @ref player_util_playernav : Drag-and-drop GUI for setting localization hypotheses and path-planner targets; also doubles as a map viewer - @ref player_util_playerjoy : Teleoperation via joystick or keyboard control - @ref player_util_playerprint : Print out device data on the console - @ref player_util_playervcr : VCR-like GUI to control playback of log data - player_util_playermap : Scan-matching map-maker (deprecated) - @ref player_util_dgps_server : Forward DGPS corrections from a base station to a multicast UDP socket */