GitHub repos by docbook

1 public repo by docbook in the catalog, most starred first.