Comment by admsg

That’s a great idea. Please do contribute if you get around to it.