michaelg/dev: links for hbt-ip-core