Things You Didn't Know About Portal's Development