Come soluzione rapida e definitiva, ho provato:
./launcher enter app
vi app/assets/javascripts/pretty-text/addon/discourse-markdown-it.js
e ho aggiunto
controlsList="nodownload"
a
<audio preload="metadata" controls>
e
./launcher restart app
ma ho ancora l’opzione Download. Devo ricostruire l’app?