A collection of my own PopClip extensions