If everyone’s ok with this, I’ll move forward with an email to ros-users advocating posting in General with the release tag tomorrow. Please post if you have any different thoughts before then!
@tfoote can we get a Tags dropdown on the discourse landing page like at https://try.discourse.org/? If it’s the discourse-tagging plugin you’re using, instructions are here - Enable Tags menu/filter. If it’s part of the newer versions of discourse, probably the instructions are similar.