Every Boring Company Loop project we could find: where it is, how far along it is, and how precise the line is.