Corrected `use' of packages (especially because the move of `with-designators' and `matching-process-module'/`available-process-modules')