Which is completely beside the point since the post I was replying to is apparently bemoaning vaccine mandates generally as some unprecedented new development,

Which is completely beside the point since the post I was replying to is apparently bemoaning vaccine mandates generally as some unprecedented new development, which again, they aren't. If you want to have a discussion about whether this particular vaccine should be mandated, fine, but that's not at all what the person I was replying to was trying to do; they were complaining about mandates of any kind, and apparently don't know that mandates are as old as dirt and just as common.