as functionality is identical (no, better), d.leg.thin is now d.legend.
I have removed the old d.legend and updated the html pages.
Note, the current code still lives in
src/display/d.leg.thin/
There is a bug remaining with raster maps which contain a larger
number of categories.