misc Miscellaneous stuff: scripts, patches, userstyles, etc. License: Unless otherwise noted, all code here is placed in the public domain per CC0 (https://creativecommons.org/publicdomain/zero/1.0/).