("301" (plthome . #"collects/help/servlets/private/util.ss") (plthome . #"collects/help/private/manuals.ss") (plthome . #"collects/help/servlets/private/headelts.ss") (plthome . #"collects/web-server/servlet.ss"))
