[X] normal.png [ ] bold.png
I haven't fully followed this thread so not sure if this applies to comments, object names or everything,
anyway - I hope we will keep at least one large/heavyweight font for lecture slides, it's hard to see courier on the beamer
my 2c
andy