Minor updates to TODO re PHP support