Looks like @hansvonkatte hasn't received any replies!