Adds PSL documentation