Updated 'README.md': comment regarding '.mod' vs. '.pretty' format.