in case i was not clear: i think the desktop client should not override ping and ping-restart, but that the platform should be modified to have smaller defaults.