Add a little message when downloading mappings.json