Effectivement, Portal Prelude est un jeu à part dans la liste des jeux Steam, donc il n'a pas à être dans le dossier Portal directement.