Re: [xmonad] darcs patch: Correct warnings with ghc-6.12 (and 1 more)

Excerpts from Adam Vogt's message of Mon Jan 18 17:26:14 +0100 2010:

Mon Jan 18 11:22:56 EST 2010 Adam Vogt * Rename numlockMask to numberlockMask to help users of the template config.

Since configs will be broken with regard to numlockMask anyway, wouldn't it be more prudent to rename it to filterModifiersMask or something along that line, since users of e.g. Ukranian keyboard layouts had to add more modifier bits to numlockMask to get various things like Prompt to work properly. So something like filterModifiersMask would resemble its usage more closely.