Please retain the branch alive at least until 0.9.0 is out (if ever);
you can still tag release individually

Hopefully, we won't run short of letters
(but we still have 0.8.7a-0.8.9z too, which means 100+ possible releases)

For some unknown reason, wxwidgets 2.6.3 always return WXK_NUMPAD_DELETE 
even in case normal Delete key was pressed

* update ChangeLog

* Update NEWS just a tad
* Update contrib in INSTALL.win32

If someone has a better idea, please tell me. This only occurs when doing SDK contrib compilation, so it's a bit weird.

solves the /usr/bin/ld: ./extras/contrib/lib/libx264.a(encoder.o) has local relocation entries in non-writable section (__TEXT,__text)
collect2: ld returned 1 exit status

* enable sdk on contrib again

- mozilla: reduce the number of supported mime-types to avoid clashing with other plugins (Win32 & MacOS X only)

  refs #880

(there might be other occurences of the same problem)
closes #880

  This might not fix it, but it surely should eleviate the problem.

* Don't hide if the mousepointer is over the fspanel