Rationalizing repo naming, this is for SEDCS82
Authored by: fourshades 2025-07-29
Parent: [r1089]
Child: [r1091]