If we're shouting out to our favourite window managers, then a long, long time ago I switched to ion3 and then for a long long time it was left unmaintained unt

If we're shouting out to our favourite window managers, then a long, long time ago I switched to ion3 and then for a long long time it was left unmaintained until Notion (not-ion) came along: https://en.wikipedia.org/wiki/Ion3 https://en.wikipedia.org/wiki/Ion3 http://notion.sourceforge.net/ http://notion.sourceforge.net/ My sincere thanks to all authors and maintainers of ion3 and Notion. I've used your work for at least a decade, probably longer.