The Redlining Lab is digitizing Redlining Maps.