re: #4 the Free Software Foundation goes to great pains to distinguish itself and free software from the Open Source Initiative and open source software, so whether the GPL violated or failed to violate a principle of open source software probably wouldn't keep Stallman up at night.