gringo: gather docs