Looks like @tomalbert hasn't received any replies!