Yes, it is the Canon EF 400/5.6 with the Canon 1.4 extender.
I have the EOS to m43 adapter from Jinfinance, which works just fine. The EOS lenses, of course, are limited to full aperture, which is usually how I use that 400 anyways.
Next full moon, I'm going to try it with a tripod.