I thought the old one was on a separate site, but now there's one onsite. Why couldn't we use Media wiki's package? It's exactly like a Wikipedia setup. Just not sure about user integration.

Will check response tomorrow morning.