My extensions for PopClip.