@kbroman Excellent, thank you. I owe him a late birthday present anyway. Or maybe it'll be next year if the appeal goes through.