Looks like @zhik added these with changeset #137156160, four hours before this note was posted! It was super fun to have so many mappers in one area during SOTM US. Thanks you both for helping improve Richmond :)

https://www.openstreetmap.org/changeset/137156160