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