Documentation for @@deriving_inline

Yes, it’s the format readthedocs uses