("301" (plthome . #"collects/mzlib/etc.ss") (plthome . #"collects/setup/getinfo.ss") (plthome . #"collects/help/servlets/private/util.ss") (plthome . #"collects/help/servlets/private/read-lines.ss") (plthome . #"collects/help/servlets/private/headelts.ss"))
