Thread:Smt64/@comment-30744559-20171108215455/@comment-30744559-20171108221845

Wait, I didn't understand a thing: if the rule is removed can we highlight RPs now or not?