I have, I think the one time I tried it (5 years ago, on a different machine, os and X11), it wasn’t snappy enough. Probably time to go back and check it out!

Guake has this annoying bug on wayland gnome where the interface complains that ‘keybindings can’t be set’, so you control it through custom keybindings that run terminal commands to show and hide the terminal.