A python3 port of the RGedit plugin