Come to think of it, I think there is a community fork. It’s also used by the Wikimedia Foundation, so I might look at whether they are/could push changes to th

Come to think of it, I think there is a community fork. It’s also used by the Wikimedia Foundation, so I might look at whether they are/could push changes to their own fork upstream.