Hi Pilou, could this maybe help you automate the process a bit??

https://github.com/arekm/rsdoc-to-sat

Stefano