Improve Noweb documentation