I was just wondering... Is the manual written in texinfo markup, or is there some obscure .org file behind the manual still?<div><br></div><div>If it really is written in texinfo, is this not a shortcoming? Org mode is capable of generating html and pdf etc. Why not use it for the manual then to set the example and show its powers!?</div>
<div><br></div><div>/Gustav</div>