Re: [SR21.4] buffer-file-truename vs. info.el