Window manager (WM) extensions for Windows