michaelg/dev: links for pubkeeper-server-core