On Mon, Dec 26, 2022 at 12:00:09PM +0100, Omar Polo wrote:
> > > As minor tweaks above, say "capabilities" instead of "caps" (to avoid
> > > confusion with "capital letters") and "repo" instead of "rep" (we use
> > > "repo" consistently in our code as abbreviation of "repository").
> > 
> > Done, next version:
> 
> some comments inline.  However I can make the changes as a follow-up
> commit.  I'm ok with the diff.

I have put this in. Feel free to commit tweaks on top.