Unable to download Arduino AVR boards core

I do not know the procedure, but @ptillisch has posted it many times.