Comment by mystikal

> Crucially, a user of GPL software is allowed to do whatever they want.

Except develop the software however they want.