Improved documentation of excmd_server functions