I don't know if its useful, but I thought it might be helpful if Eigen ever wants to unify the source and the bug tracking so that commits and files can be cross-referenced more easily. I didn't realize this feature existed previously, so I wanted to pass it along.