Rename extension so users can tell ours apart#92

kzu merged 1 commit intomaindevlooped/Extensions.AI:mainfrom

dev/ExplicitExtensionsdevlooped/Extensions.AI:dev/ExplicitExtensionsCopy head branch name to clipboard