Hi all, I just noticed (after Tomek's Hackster post) that the release notes for 13.0.1 on the NuttX website are very strangely formatted: https://nuttx.apache.org/releases/13.0.1/
Compare to the 13.0.0 release notes: https://nuttx.apache.org/releases/13.0.0/ I don't know if this is a change in the script used to generate the release notes, but we should probably fix this issue quickly. Maybe Alin can let us know if this is direct output from some script he made for the release note generation/where we can patch it (I'm sure he has lots on his plate)? Best, Matteo
