<div dir="ltr"><div class="gmail_extra">This has inspired me to re-attempt the removal of all //BTX and //ETX markers (now obsolete) from the header files.</div></div>