Alt-Enter (Cmd should work in Macs too) goes to the current point; Alt-N/P or Alt-Down/Up will move through the proof; F8 or the power icon toggles the goal panel.
JsCoq's homepage is at github https://github.com/ejgallego/jscoq ¡Salut!