How to make an SVG from a prompt (and get output you can actually edit)

Most AI SVG generators hand back a bitmap wearing an SVG file extension. Here is how to tell the difference, and how to write prompts that produce usable vector art.