(echo "https://crg.eti.br/files.html — the plain HTML version")