We don't use JSDuck beta anymore