michaelg/dev: links for piazza-interface