$ dlocate -man grass5.7
1 grass57
$ dlocate -man libgrass5.7
$ apt-cache policy libgrass5.7
*** 5.7.0-4 0
500 http://bullhorn.org unstable/main Packages
Maybe man pages can be generated dynamically upon installation, saving
package size. But they should still be in the file list I suppose.
P.S.,
$ diff3 /usr/share/doc/*grass5.7*/changelog.gz; echo $?
0. i.e., all the same; tiny, and dated 2002 too. No README.debian too.