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

[Peter P.]

Hi list,

using the amazing Debian packages of Pd and am puzzled to find that the
following two paths seem owned by the same package puredata-core and
seem to exist twice:

peter at computer:~$ dpkg-query -S /usr/lib/puredata/doc/7.stuff
puredata-core: /usr/lib/puredata/doc/7.stuff
peter at comouter:~$ dpkg-query -S /usr/share/puredata/doc/7.stuff
puredata-core: /usr/share/puredata/doc/7.stuff

Is this intentional?
Thanks!
P