Do we want to use GPL3 instead of GPL2?