# Greasemonkey Scripts for everyday automation