Does anyone happen to know if the files /usr/share/desktop-base/debian-homepage.desktop /usr/share/desktop-base/debian-reference.desktop /usr/share/desktop-base/debian-security.desktop are still used by any programs? I did kind of a research for two bug reports recently and couldn't find anything. Thanks!