SimplePush: JSDoc tweaks