-dec-terminal fonts

[Harry Putnam <reader@newsguy.com>]

I have these fonts as displayed by xlsfonts

xlsfonts|grep dec
[...]

-dec-terminal-bold-r-normal--0-0-75-75-c-0-dec-dectech
-dec-terminal-bold-r-normal--0-0-75-75-c-0-iso8859-1

[...]

-dec-terminal-medium-r-normal--14-140-75-75-c-80-iso8859-1
-dec-terminal-medium-r-normal--14-140-75-75-c-80-iso8859-1
decw$cursor
decw$session

Chopped out a longish list but still showing the type of fonts I'm
interested in.

The lst two I can find easy enough under /usr/share/fonts where I find
/usr/share/fonts/X11/misc/deccurs.pcf.gz
/usr/share/fonts/X11/misc/decsess.pcf.gz
/usr/share/fonts/X11/encodings/dec-special.enc.gz

But I want to know where the ones listed in xlsfonts come from.  Not
finding anything on aptitude search that looks likely.  But may under
a name not including `dec'.

I may have installed them separate but if so, I do not recall where
they came from.

Not finding them on google either.

Are they part of a debian install?

Or does anyone no there origin? Or where to get them?