PS.: On my request, the user tested this with a more recent build as  
well (Aquamacs distro of 22, Carbon) and sent these two screenshots.
I cannot reproduce it: bold fonts, for me, look substantially different.