You can also get chopped XLRs, which are substantially shorter than the full-size connectors. Ask Ted G.
If you need it super short, on the mic end, try DPA DAO4010 cables. They are designed for DPA mics (19 mm), but would probably work with 20 mm mics as well. Might be a bitch to unplug, though...