I see. All of these years studying wiring and I've never heard of that being necessary. What happens when you plug in a blender or something that draws only a couple amps on a 20amp circuit?
I guess because I'm always making sure the circuit and wire are large enough, rarely having to worry about too large.
What is "normally" taught is having the circuit capacity needed for to prevent overload and fire protection.
Too much circuit isn't discussed, but can be a problem
IMHO, a welder should be on a dedicated circuit because of the high Amp draw. Not on a GF, welding IS a fault, by nature.
One solution would be to use a short "extension" cord, with a GFCI, for use on other tools.