GNU PDF project leaves FSF High Priority Projects list; mission completefsf.org6 pointstjr15 years ago