OPの警告がスタッフカラーでハイライトされない

バグ
3

これが意図的な変更だったように思われます。@hugh なら知っているかもしれません。