bigpants apparently existed before the rule was in place so they let it go because it wasn't really explicit anyways, though not sure why it seems like the buttplug mod has been able to slide.
either way i wouldn't wanna bother them about it, especially so long as i have somewhere to host the mod. hopefully someday the rules will get a page on the wiki or something, though.