JS DOCs: serverTime(), vertex_destroyed -> vertex_removed