No extensions in extension manager

Thanks for reporting this. See explanation and temporary download link here: