Retiring the main document#434

Merged

egekorkan merged 14 commits intomainfrom

ege-main-document-retirement

Sep 4, 2025

Commits on Aug 6, 2025

Update README.md

egekorkan
and
danielpeintner
authored

Commits on Aug 19, 2025

reformat head and abstract
egekorkan
committed

Commits on Aug 20, 2025

Update index.html

egekorkan
and
danielpeintner
authored
remove conformance section
egekorkan
committed
Update README.md

egekorkan
and
danielpeintner
authored

Commits on Aug 21, 2025

fix wording on retired version
egekorkan
authored

Commits on Aug 28, 2025

reflect registry name change
egekorkan
committed

Commits on Sep 3, 2025

Update README.md

egekorkan
and
danielpeintner
authored

Commits on Sep 4, 2025

Apply suggestions from code review

egekorkan
and
TallTed
authored
add red border for the warning
Ege Korkan
committed