some useful PopClipExtensions for me.