Nice. Personally, guake is still my go to (sudo apt install guake, info at github.com/guake/guake). Can't live without it.