And for the optional stuffs (help and themecard) , I checked they don't have the user/FOO section so either they are dependencies or they have to be installed using dpkg -i
..