Regarding
that (same) post, I'm unsure if I should vote to delete it. Arguably, it's intended as an answer to a different question about a different release (or something), so deletion
might be reasonable. Anyway, if anybody has thoughts to share about that I'm interested, but I'll hold off on casting a delete vote until I'm less conflicted.