* moved the "display" option from main to the relevant plugins. ( We now have
   the x11_display, xvideo_display, xmga_display and ggi_display options ).