Fixed Pintos documentation link