Issues to consider: admins basically did a "fake" quarantine where they still allow the sub to see their own traffic and to crosspost. On the other hand, it's probably a misstep to try to push them immediately after they took this action, since we're more likely to get kneejerk pushback if we move too soon. Personally I'm on the fence, but think we should revisit in a week.
(edited)