@DanielFischer: Can you please rename the tag
well-order to
well-orders? Doing it manually requires removing the tag, waiting, then reinstating it. It seems like a hassle for a tag that it's not entirely clear is worth preserving. I guess that renaming a tag should be easy peasy for a moderator, though.