On 9/15/2015 2:59 AM, Sepherosa Ziehau wrote: > Do old packages work w/ new world? Most of them do, yes. If you update world and do nothing else, almost all the packages that are installed will continue to work. John