In the csv downloads, numbers are formatted to use a comma as a thousand
separator, and my Excel (on European settings, so with a decimal comma
and a dot as a thousands separator) this gives trouble: a number like
"12,340" will be read as "12,34" and changing the comma to a dot results
in 1234 instead of 12340.I suppose this would be easily solved by
removing number formatting.