@JanMiksovsky It’s going pretty slowly! Here’s the page which I just updated today. It’s going to take me a few years.