略称を「ハテナガ」とするか「ハテハテ」とするか論争の決着はついたのか?