Apologies, I intended "user" in my comment to mean "a developer using the license". Thank you for clarifying.
This is the core difference between gnu and bsd - guaranteeing freedom for all current and future users VS all current and future distributors (in particular, the bsd guarantees the right to fork and close - often seen as essential for commercial use in a new software or software+hardware appliance; while gnu attempts to guarantee that any downstream user will always have the four freedoms).
It's so easy to forget that at the very end, there are people who are using software. Developers are middlemen for most code in the products they build (think dependencies). GPL cuts through that, and always has the end-user in mind.
The GPL does not place any restrictions on how software is used, so the (literal) users are not restricted.
It restricts how it is redistributed.