Small collection of bookmarklets (automatically generated from readable JavaScript sources)