# External Docs

This file is here to test the `#[doc(include="file")]` attribute.