F1 update - Updated procedure and clarified scope#4547

Merged

mbgower merged 6 commits intomainfrom

giacomo-petri-f1-improvement

Oct 15, 2025

Commits on Aug 13, 2025

update f1
giacomo-petri
authored

Commits on Aug 19, 2025

Merge branch 'main' into giacomo-petri-f1-improvement
patrickhlauke
authored

Commits on Sep 5, 2025

Merge branch 'main' into giacomo-petri-f1-improvement
patrickhlauke
authored

Commits on Sep 17, 2025

Update F1.html
giacomo-petri
authored

Commits on Oct 3, 2025

Correct grammar
bruce-usab
authored

Commits on Oct 15, 2025

Merge branch 'main' into giacomo-petri-f1-improvement
mbgower
authored