Removing some obsolete references to Baobab (the former name of Trifle).