Updated HTMLTextPushButton to use the latest button infrastructure, see #94.