Source code of Code Golf plugin