思うに>>718の前3項は、ローカルルールの援用になると思うんだけど、どうだろう
現況のローカルルールは、あくまで暫定的なものだから、「板名」と「ローカルルール」の並行議論が必要だと思うんだけど