I've copied all the open bugs from Trac into the github issue system. All the Trac bugs are now closed. -mpg