patch applied (hackage-server): "Use UTF8 encoding when encoding CSV files"