2 ms·... and put HISTORY sections in our manual pages? (-:by JdeBP 7y ago... and put HISTORY sections in our manual pages? (-: