> 悪魔ほむらってどこで設定された名称なんだ

多分設定書
アルティメットまどかと同じ
単なる仮称だったのに正式名になってしまった

参考：2021/07/22(木)21時59分13秒