@diondokter@fosstodon.org After all, they say /// is syntax sugar for #[doc]: https://doc.rust-lang.org/rustdoc/write-documentation/the-doc-attribute.html