3 ms·There is a useful IRC channel on freenode called ##re, for those who might care.by mikorym 7y agoThere is a useful IRC channel on freenode called ##re, for those who might care.