Manual: add a section about INSTALL/REMOVE files.