Merge branch 'Jalview-JS/develop.JAL-3446.ctrlDown' into