Manpages of debian-edu-config in Debian buster