a few AutoHotKey scripts I find useful