[16:21:00] <ori>	 this is what I and my group at work have been working on for the past year or so: https://arxiv.org/abs/2604.27915
[16:21:14] <ori>	 not MediaWiki-related, but sharing anyway in case it's interesting.