The recent runtimes have removed a number of long-deprecated functions (including display_set_size
), meaning that this extension has to be rewritten somewhat now. I’ve not gotten around to it yet since it’s not a very straightforward thing to research.