michaelg/dev: links for edulib-core