Looks like @jhrigel hasn't received any replies!