Hi John,
I get the same issue when I press download for RESTDeepLinkModule in Mendix 8.16. I think it is best to create a ticket for Mendix Support, so this can be resolved.
The module does not download for me for Mendix 8.16 and 8.15, but it seems to work for Mendix 8.11. Strange!
Regards,
Paul