The demo script does not work properly on OS X. The problem is with
the os conditionals. On OS X, both <os family="mac"> and <os
family="unix"> evaluate to true. The result is that WTP for linux is
downloaded instead of WTP for OS X. I worked around the problem by
deleting the condition <os family="unix">.