XKCD/3182: Telescope Types

I'm trying to buy a gravitational lens for my camera, but I can't tell if the manufacturers are listing comoving focal length or proper focal length.

(https://xkcd.com/3182)