mandel/testing: links for typing-extensions