I have never been fond of our current wiki; it doesn't look nice, it doesn't feel nice either (serif fonts, pages too large, impractical editor), the syntax is different from other wikis and although I've never tried yet I know it's a pain to reskin.
KoraX proposed to use
MediaWiki: it's the wiki engine for
http://www.wikipedia.org
It has a lot of features, side bar on the left, comfort of use, nice font, automatic page organization, generation of printable pages, edit bar with buttons for a quasi-wysiwyg feel, and I've seen in other sites that it handles code fine.
What do you think? Is it worth the switch?
@Nova and Onno, do you think it would be hard to switch?