docs: Address two minor issues and update product nouns#3736

Merged

tomasohaodha merged 4 commits intomainfrom apr-7-minor-updates

Apr 26, 2023

+28-29

Commits on Apr 7, 2023

docs: Address two minor issues and update product nouns
ADubhlaoich
committed

Commits on Apr 11, 2023

Merge branch 'main' into apr-7-minor-updates
ADubhlaoich
authored

Commits on Apr 18, 2023

Merge branch 'main' into apr-7-minor-updates
ADubhlaoich
authored

Commits on Apr 26, 2023

Merge branch 'main' into apr-7-minor-updates
ADubhlaoich
authored