Collection of useful bookmarklet-scripts for various sites/web apps
note: for now these are provided as-is, i.e. works on my machine (browser)
todo: configure build such that it creates a markdown file from which the bookmarklets can be dragged to bookmarks from its GitHub web view