I was recently having issues with high memory usage in universe selection, which were resolved within a few days - thanks team!

While trying to understand where the issues were (my code vs engine), I was trying to find a way to choose a specific Lean Engine version. I see what version is being used in the algorithm lab, and the tab says "select lean version", but it does not let me select - enticing :) Is that feature in the works?