Why do they even bother specifying Courier, instead of going straight to 'monospace'? At least that way, the user-defined monospace will be used, which might in

Why do they even bother specifying Courier, instead of going straight to 'monospace'? At least that way, the user-defined monospace will be used, which might in the worst case still be Courier, but is more likely to be something sensible. (Also, I find the DejaVu fonts better than the Bitstream originals.)