Re: [PD] puredata-core installing documentation twice on Debian?