BUR #8872 has been approved by @Hillside_Moose.
create implication minigirl -> mini_person
create implication miniboy -> mini_person
I think this could use a non-gendered catch-all tag to be consistent with what was decided for giant in topic #17526, and to allow for more accurate tagging of mini humanoids that don't have a discernible gender or canonically don't have one. As it stands now they are either given a gender-specific tag anyway (post #3164488) or not tagged at all (post #4360849). There is the existing miniature tag, and while it looks like it's used somewhat inconsistently, by its current wiki definition and in practice it's more like a counterpart to oversized object in mostly featuring inanimate objects. Animals and other animate non-humanoids could either fit in that tag or have its own tag.