Merge branch 'Jalview-JS/JAL-3253-applet' of https://source.jalview.org/git/jalview...