This issue will be used to store documentation support issues in the plugin:

1. No documentation for elements with such layout (see also vector::pop_back):

   #[event]
   /// When `ObservedJWKs` is updated, this event is sent to resync the JWK consensus state in all validators.
   struct ObservedJWKsUpdated has drop, store {
       epoch: u64,
       jwks: AllProvidersJWKs,
   }

2. Variables/parameters/type parameters hover documentation is not monospaced
3. Empty hover documentation for spec fun spec_contains
4. Not really valid documentation for AbortsIfNone
5. Empty documentation for fun eq_push_back in spec module {}