Looks like @mfiedler hasn't received any replies!