Add `Auth.Certificate` and `AIS` to doctest output