Add Doxygen doc words to lexicon.txt#16

Merged

gkwicker merged 2 commits intoFreeRTOS:mainfrom

sarenameas:spelling

Dec 13, 2020

Commits on Dec 12, 2020

Add Doxygen words to lexicon.txt.
Sarena Meas
committed
Update the name of the library in the GHA.
Sarena Meas
committed