docs: Fix some typos in the developer notes