Looks like @leib hasn't received any replies!