diff --git a/collects/help/help-desk.ss b/collects/help/help-desk.ss
index 041e5c9cd0..01421c8a3d 100644
--- a/collects/help/help-desk.ss
+++ b/collects/help/help-desk.ss
@@ -10,7 +10,7 @@
    "private/link.ss"
    (lib "contract.ss"))
   
-  (current-helpdesk-platform 'internal-browser)
+  (helpdesk-platform 'internal-browser)
   
   (provide help-desk-frame<%>)
   
diff --git a/collects/help/launch.ss b/collects/help/launch.ss
index 06a81e35fb..44adcedf78 100644
--- a/collects/help/launch.ss
+++ b/collects/help/launch.ss
@@ -20,7 +20,7 @@
          "private/internal-hp.ss"
          "private/options.ss")
 
-(current-helpdesk-platform 'external-browser)
+(helpdesk-platform 'external-browser)
 
 ;; start the HelpDesk server, and store a shutdown
 (define shutdown
diff --git a/collects/help/private/options.ss b/collects/help/private/options.ss
index 1bf9e8b38d..545cc1007a 100644
--- a/collects/help/private/options.ss
+++ b/collects/help/private/options.ss
@@ -4,11 +4,11 @@
   ;; between servlets and the web-server.  (Mostly to allow
   ;; configuration as an application or as a standalone server.)
 
-  (provide current-helpdesk-platform internal-port)
+  (provide helpdesk-platform internal-port)
 
   ;; internal browser or external browser?
   ;;   (used to produce simpler html for the internal browser)
-  (define current-helpdesk-platform
+  (define helpdesk-platform
     (make-parameter
      'internal-browser-simple  ; main page only
      ;; 'internal-browser      ; menu + main page
diff --git a/collects/help/servlets/home.ss b/collects/help/servlets/home.ss
index 90012e19c7..4ba1c92b8c 100644
--- a/collects/help/servlets/home.ss
+++ b/collects/help/servlets/home.ss
@@ -20,7 +20,7 @@
   
   ; html-subpage : xexprs -> xexpr
   (define (html-subpage . xs)
-    (case (current-helpdesk-platform)
+    (case (helpdesk-platform)
       [(internal-browser-simple)
        (apply make-simple-page/internal-browser xs)]
       [(internal-browser)
@@ -80,7 +80,7 @@
             (let-values ([(right-header right-items) 
                           (page-tag->title+items subpage)])
               (cond
-                [(and (eq? (current-helpdesk-platform) 'internal-browser-simple)
+                [(and (eq? (helpdesk-platform) 'internal-browser-simple)
                       (equal? subpage "home"))
                  ; change the "home" page for internal HelpDesk with no menus
                  (html-subpage "PLT Scheme Help Desk: Home" 
@@ -124,13 +124,13 @@
          ("Get involved:"
           nbsp nbsp nbsp nbsp
           (a ((href ,url-helpdesk-mailing-lists)) "Mailing Lists")
-          ,@(case (current-helpdesk-platform) 
+          ,@(case (helpdesk-platform) 
               ((external-browser) `(", " (a ((href ,url-external-send-bug-report)) "Send a bug report")))
               (else '())))
          -- --
          (""
           " " " "
-          ,@(case (current-helpdesk-platform)
+          ,@(case (helpdesk-platform)
               [(internal-browser)
                '((b (a ([mzscheme
                          "((dynamic-require '(lib |bug-report.ss| |help|) 'help-desk:report-bug))"])
@@ -138,7 +138,7 @@
                  nbsp nbsp)]
               [else `()])
           ; DrScheme Acknowledgements
-          ,@(case (current-helpdesk-platform)
+          ,@(case (helpdesk-platform)
               [(internal-browser) `((b (a ((href ,url-helpdesk-acknowledge))
                                           (font ([color "forestgreen"])"Acknowledgments"))))]
               [else                '()]))
diff --git a/collects/help/servlets/private/split-screen.ss b/collects/help/servlets/private/split-screen.ss
index fcba2ba950..753eeffcce 100644
--- a/collects/help/servlets/private/split-screen.ss
+++ b/collects/help/servlets/private/split-screen.ss
@@ -11,7 +11,7 @@
     `((VERBATIM (big (big (big (b (a ((href ,url-helpdesk-home)) "PLT Scheme Help Desk"))))))))
   
   (define left-footer-items
-    (case (current-helpdesk-platform)
+    (case (helpdesk-platform)
       [(internal-browser)
        '(nbsp)]
       [else
diff --git a/collects/help/servlets/results.ss b/collects/help/servlets/results.ss
index ca5725e562..cc944915f0 100644
--- a/collects/help/servlets/results.ss
+++ b/collects/help/servlets/results.ss
@@ -33,7 +33,7 @@ is stored in a module top-level and that's namespace-specific.
   ;   and match-type. This function changes them to use the short versions 
   ;   as the internal HelpDesk does.
   (define (adjust-request request)
-    (case (current-helpdesk-platform)
+    (case (helpdesk-platform)
       [(internal-browser) request]
       [(internal-browser-simple) request]
       [else
@@ -61,7 +61,7 @@ is stored in a module top-level and that's namespace-specific.
      send/finish
      (lambda ()
        (let* ([request      (adjust-request initial-request)]
-              [html-for-top (case (current-helpdesk-platform)
+              [html-for-top (case (helpdesk-platform)
                               [(internal-browser) '()]
                               [(internal-browser-simple) '()]
                               [else               (html-top request)])])
diff --git a/collects/help/servlets/static.ss b/collects/help/servlets/static.ss
index 3ec9456774..46dc4e028f 100644
--- a/collects/help/servlets/static.ss
+++ b/collects/help/servlets/static.ss
@@ -107,7 +107,7 @@
                     (string-append (xexpr->string
                                     (html-page 
                                      #:title (short->manual-title manual)
-                                     #:top (case (current-helpdesk-platform)
+                                     #:top (case (helpdesk-platform)
                                              [(internal-browser) '()]
                                              [(internal-browser-simple) '()]
                                              [else               (html-top request)])