Portal 2: Portal 2 Update

An update has been released for Portal 2 - Minor code maintenance, no customer-facing changes.