diff --git a/pkgs/plt-services/meta/pkg-index/official/main.rkt b/pkgs/plt-services/meta/pkg-index/official/main.rkt
index 716350eff2..3f1b558562 100644
--- a/pkgs/plt-services/meta/pkg-index/official/main.rkt
+++ b/pkgs/plt-services/meta/pkg-index/official/main.rkt
@@ -293,9 +293,11 @@
                             " | "
                             (a ([href ,(main-url page/rss)]) "rss")
 
-                            ;;" | "
-                            ;;(a ([href ,(main-url page/logout)]) "logout")
-                            ))]
+                            " | "
+                            (a ([href ,(main-url page/login)]) "re-login")
+
+                            " | "
+                            (a ([href ,(main-url page/logout)]) "logout")))]
                [else
                 ""]))
        ,@xexpr-forest