Portal 1 is on sale on Steam! He also ported Half Life 2 and other games! https://jxhug.notion.site/Guide-to-Installing-Portal-Using-S...