> even though arguments can be made whether it is technically a continent, or merely part of a larger continent also called Australia

A technicality. While people thinking Greenland is bigger than Australia is not, which is the point I was trying to get across.