Convert hiec to jpg

I downloaded some photos from Google Photos, only to find that they were in heic format ( None of my linux programs know how to open that format — I needed them in jpg format. I found a utility to do the job:

sudo add-apt-repository ppa:xiota/stuff-3
sudo apt-get install libheif-tools
for f in *heic ; do heif-convert -q 90 $f ${f%.heic}.jpg ; done