michaelg/dev: links for mcp-file-downloader