Après sa massive mise à jour d'avril, le PS Portal est pour certains victime d'un problème majeur, voici comment le corriger en attendant une solution plus pérenne.