OK, but why don't you use AGPLv3? Your GPL code can be closed from the user on a web server. Windows could ask the cloud to run it, and you will never know.