PinPIE — when PHP is enough.