DevKit: highlight <extensions> "xmlns" as deprecated