New Features in Coin v4.0.2

This is a bugfix release.

Bug fixes:

• Restored ABI compatibility with version 4.0.0 that was inadvertently changed in v4.0.1.
• Fixed numerous typos found by Codespell.