Planning to abandon domain web-music-score.org. Use https://web-music-score.github.io instead!