Ok, thanks.

I think the consensus is to revert to `.txt` and we will figure out later what's wrong. Can you add an issue for it, so we don't forget about it?

Thanks @teravest !