michaelg/dev: links for cord-sdk-server