>+ (synopsis "Spin is a library which implements a simple spinlock")
Just (synopsis "Simple spinlock") is enough. Maybe mention Rust? What do you think? > + "Synchronization primitives based on spinning. They may contain > +data, they are usable without `std` and static initializers are > +available.") What does the weird quote (`) mean here? I'd write @code{std} Otherwise OK!