Merge pull request #131709 from Stunkymonkey/tools-text-pname-version
tools/{text/typesetting}: replace name with pname&version
authored by davidak and committed by GitHub 4 years ago 792a27b1 c5d297e0