Miscellaneous JS scripts for use with Anki.