The issue with 403 error dialogs on submit should be fixed, they now properly show a captcha.
Let R = { x | x ∉ x }, then R ∈ R ⟺ R ∉ R... or is it?