Option to download figures
It would be excellent to have a gutter + main menu option to download figures from those figure elements where there is an associated hosted image file with the figure (a ZIP in case of a figure element with more than one bitmap).
Edited by Matias Piipari