Added notes on OS + PHP provenance