Synced resources with latest draw.io release.