3 ms·Not entirely surprising; there was already a gigantic Source modding community well before Portal 2.by gipp 12y agoNot entirely surprising; there was already a gigantic Source modding community well before Portal 2.