Doc generation integrating Pascal comments -- by JMB