Update NewInternalsSpecification.md