Never heard of it until you brought it up.
Somewhat related and perhaps helpful to some, I use this Chrome add-on daily:
https://chrome.google.com/webstore/d...bcpjdlppllnemd
It allows you to easily save any image you see as JPG, PNG or Webp with just a right click.