When the teachers use the Atto button to embed an HTML they don't have an easy way of downloading the original file without activating the native H5P download link. This is not convenient because the H5P download link is also available for students.
The insert H5P Atto modal should have a link to download the file. This links does not require many code as it is already available and is just make it accessible using the current UI. Nowadays, the user can download the file if her/he right-click the H5P element on Atto and select "open URL" but it is not the most user friendly way of doing it.