Re: [PATCHv5 13/13] net/lwip: drop old net/wget