What is the relationship between a Linux distribution and a window manager?