michaelg/dev: links for proton-core