Update link to docs.
Merge branch 'master' into next
Bump to v4.0.1 for release.
Change markdown syntax to rst in docs.
Remove more markdown that snuck in.
Name compiled firmware based on board, not MCU arch.
Use platform-specific firmware filenames when flashing with OpenOCD.