Wording of the instructions polished and updated to be more user-friendly, with contributions from António Branco.