Looks like @ruet hasn't received any replies!