Why would you assume that they have this bug? If you’re actually curious if the bug exists go read the code or try it yourself.