The GPLv3 is something I'm rather fond of and a lot of the developer whinging over it is just nonsense. Your hypothetical cases have already been tested in court, they're not real. At some point running GIMP on Windows doesn't make you obligated to released the Windows source because it doesn't.