The heck with it! I just up and posted it at Thingiverse, warts, errors, and all.

https://www.thingiverse.com/thing:4627832

I'm just in a little sour mood right now. A shop door that has been broken too long is a sore point. The repair shop that can't get the address right three times in a row isn't helping. To add insult to injury, the cable company broke nearly all of my email passwords when I tried to contact them and their chat bot is compulsively stupider than a post.