Yes, There Are Portal 2 Linux References