Thanks for these links. [4] reminds me especially why I used to prefer amber on black instead of green on black in those old days when being able to choose the colour of your display was a real feature!