Programming languages (IDEs) were always allowed as long as the code couldn't be downloaded from the internet. Local or cloud load/save is OK. An user copying i

Programming languages (IDEs) were always allowed as long as the code couldn't be downloaded from the internet. Local or cloud load/save is OK. An user copying it manually using a clipboard from a web page is OK as that's user doing. But direct downloading was a no-no. This was explained as to prevent any application from becoming AppStore-like. There are some tricks, like using curl | sh approach by the user for UNIX-like environments, or similar things for Python IDEs. But again it is something that the user have to do and learn about it from an outside source.