frontend/html: primitive key events and reload via javascript.