Add a section mentioning that ERC does not like whitespace-mode