@NGIZero I would be more concerned with exercising freedom 1: to study and modify the program. But to me this itself implies the new freedom 4, hence 4 is not needed.
@khleedril @janneke Your remark made me realize I forgot to mention Janneke in the post. I've corrected that now with an edit.
@khleedril @janneke Your remark made me realize I forgot to mention Janneke in the post. I've corrected that now with an edit.