psol: document having to download psol