Re: RPM + packaging bug: many documentation files clobbered