yeah, but I guess we dont have any reason to believe this is fixed right? I was thinking wether the right place to ask is the reddit group, maybe a better idea to directly file a github issue