No extra work or complexity for the staff, and especially not if the additional features are not used anyway.
I would vote for option #1, but it depends on how much simpler this wiki will be. My experience with media wiki is small, and zero for others. So, I would like to see and try the simple...