A cross-platform reimplementation of “Jedi Knight™: Dark Forces II”