michaelg/dev: links for ppxml2db