Problem with fresh installation

Digital Ocean installs gawk. Every Ubuntu install that I can find has gawk installed. https://askubuntu.com/questions/710379/do-i-need-to-install-awk-or-is-it-inbuilt-in-ubuntu claims that mawk is the default, but Ubuntu – Error says taht lsb-core includes

OR? But no explanation of what “or” means.

All I can figure is that there is some gnu-utils package that gets installed in a /stock install/ but that there is a minimal install that doesn’t override mawk with gawk.