ProcTHOR support and speed

Hi all, I was excited to see the recent announcement of [ProcTHOR](https://procthor.allenai.org/) and have been exploring it this week. I was wondering if there is a planned timeline for it to get into mainline. I have also noticed with some of my trials that a lot of steps (eg: create controller, initialize scene, take an action) seem much slower in the new ProcTHOR scenes compared to older AI2-THOR scenes. I have not properly benchmarked this yet but I was wondering if this issue has been noticed, whether it is expected and whether there is a plan to address it.