@tubetime I used an xterm font that started as a pixel-scrape of that console font, converted to an X10 font, then to an old-style X11 font, then upgraded to BDF... Eventually -sun-serif-medium-r-normal-* was released as a legitimate copy :-)