fix more buttons

The "Download JSON" button is still broken because it is a real link.
That is, we do not call .preventDefault on it.