docs(numeric): correct why former_name exists -- the ladder was never published (Refs #2001) - #2012

Merged

gHashTag merged 2 commits into

fix/former-name-rationale

Aug 9, 2026

Commits on Aug 9, 2026

docs(numeric): correct why former_name exists -- the ladder was never published (Refs #2001)

Dmitrii Vasilev
and
claude
committed
346c238
Merge remote-tracking branch 'origin/master' into fix/former-name-rationale
Dmitrii Vasilev
committed
b2eba0c