doc types.txt: use "Groonga" notation