RfCs: Re-enable admin menu for admins

Amends b375e1a

Author: MrSerth

app/views/request_for_comments/show.html.slim

@@ -66,7 +66,7 @@
                   span.fa-solid.fa-chevron-down.collapse-button
                   pre = testrun.log || t('request_for_comments.no_output')
 
-    - if current_user.teacher? && user.is_a?(ExternalUser)
+    - if (current_user.admin? || current_user.teacher?) && user.is_a?(ExternalUser)
       = render('admin_menu')
 
     hr