!redname で名前が赤くなったりするのはどこの板の機能だっけ
もう廃止したっけ