It revealed!
Firefox does not correctly handle the RSS feed if it is compressed. (This seems to be what my tests show, but I did not find anyone to take it.)
Our apache installation is configured for gzip answers. One of the headers:
Content-Encoding: gzip
apache, !