I have to manually do so usually.
This GDB supports auto-downloading debuginfo from the following URLs:
Enable debuginfod for this session? (y or [n]) [answered N; input not from terminal]
Debuginfod has been disabled.
To make this setting permanent, add
set debuginfod enabled offto
This time, it cetainly did provide the option to install the debug symbols, but why make me do so after the log has been generated rather than beforehand? It seems redundant to duplicate the work twice.