vgdev/stable: links for coin-help-package