Correct bad Japanese locale names in docs.html