The glossary is being gradually proof checked, but currently has many typos and misspellings.
Bard is a Google chatbot based on a large language model, a competitor to ChatGPT.