Major unicode update nearing completion in PHP needs refinement in all places