@klye mentioned above that he asked in discord. Upon trying to claim the tokens it didn't work, so it just confirms that it is indeed broken. Hopefully it can be fixed and I'll get my tokens.