F-stop: the Portal game that never was