Turn Lean code into a shareable image

Paste Lean 4, choose a background, then copy or save the image. Your code stays in the browser; the address bar link restores it.