It definitely is. I call that out in the post. But bots don't need compression to make progress as much as humans do.