External Docs

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