completion: document __gitcomp()