michaelg/dev: links for dps-mysql-ha-sdk