顺便记录：刚才改了一个标点符号，发出来后，乱码了，刷新了几次皆无法正常显示。幸好有检查。看来还是印在纸上的文字最妥当，输入在电脑上、发在网上，都可能乱码，尽管可能性不大。