VLC Multimedia Player Shows Changing Open Source License Is Hard, But Possible