@[email protected]@[email protected] I'm running debian 12 on my laptop... and I might move over to this soon. How easy is it to remove all that padding around the taskbar and such? I imagine the old themes still work, but I'll take a look. It's pretty otherwise.