Re: [Xmonad] darcs patch: Website: Add tip on disabling splash screen to gnome.html