Yes 
That was from the old days. Using a proper bold font wouldn’t be hard as long as we can guaranteed the dimensions match. Probably just means a little tweaking for the style setup to match bold to changing the font.
I grep shows it uses fixed. See fundamental_mode.pl