Very cool, seems much higher quality than the RMI library. I’m hoping more of these learned data structures make their way into libraries.