I’m told by @skew that the curl doesn’t always work or stopped working or something. I will try wget as mentioned here when I can: https://www.howtoforge.com/tutorial/how-to-install-mediawiki-on-ubuntu-1804/#install-mediawiki