小さいんだからチビキノコにしろよ、というかそもそも小さい種類もいるのにオオキノコムシ科と名付けたのがよくなかったんじゃね？

ベニモンチビオオキノコ。

クロチビオオキノコ