<p>In fact I did it in this instance, but <a href="https://github.com/codebrainz" class="user-mention">@codebrainz</a> commented to the doc-comments of the type. Member documentation is not strictly necessary for gir, so the below hunk could be removed. It's just that all public struct types must be complete.</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br>Reply to this email directly or <a href="https://github.com/geany/geany/commit/302b40e9778ff49407902f3ef9f272ed202f4547#commitcomment-15068537">view it on GitHub</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJwlw1ZUmiSUZ7JslVdi93eTR29uHks5pRCFPgaJpZM4G3NbP.gif" width="1" /></p>
<div itemscope itemtype="http://schema.org/EmailMessage">
<div itemprop="action" itemscope itemtype="http://schema.org/ViewAction">
  <link itemprop="url" href="https://github.com/geany/geany/commit/302b40e9778ff49407902f3ef9f272ed202f4547#commitcomment-15068537"></link>
  <meta itemprop="name" content="View Commit"></meta>
</div>
<meta itemprop="description" content="View this Commit on GitHub"></meta>
</div>