https://www.reddit.com/r/userscripts/comments/gnoji7/request_punctuation_color/
当前为 2020-05-27 提交的版本，查看 最新版本。
这些是此脚本变更过代码的版本。 显示所有版本。
