petition to turn /r/nin into /r/nincirclejerk and /r/nincirclejerk into /r/nin