Trac plugin used to support Sage development at trac.sagemath.org