Re: [Q] Fix some bugs in load-history construction, built-in symbol file names.