A third-party launcher for Portal mods.