Re: winedev: Add doc for winedbg symbol_picker option