2017: extensions license not found

The Extension Manager “Update License” button does not seem to work.