Improve Protogen docs.