G github.com Quake-style dropdown Mintty console using AutoHotKey 19 points attilagyongyosi 12 years ago 14 comments