Hm, does this detect `#[doc="foo"]`?