Instead of disabling in javascript, which cause the button to be visible
for a few milliseconds, disable directly in the HTML file.

Do not hide "document properties", because it can be useful and it does
not hurt and "edit images" because we don't hide the buttons to edit
annotations either, so this is consistent.