Not really a bug, but when TEXTCOLOR is defined, wintty can display menu headings is bold upon request, but didn't.