Even though the Mac OS X Leopard installer package is linked on
gprolog.org, I couldn't spot it using my browser's search bar because
the anchor text starts with "MacOS" when I was searching for the "Mac
OS X" download link. Not a big issue, but it needs correction.