Scripts to render documentation for extensions uploaded to TER