Rename plugin from "ralph-wiggum" to "ralph-loop"

Update all internal references to use "Ralph Loop" as the prominent name
Keep explanatory text noting it "implements the Ralph Wiggum technique"
Rename plugin directory from plugins/ralph-wiggum to plugins/ralph-loop
Update marketplace.json with new plugin name and source path
Update plugin-dev documentation references

.github/workflows/close-external-prs.yml

@@ -4,10 +4,6 @@ on:
   pull_request_target:
     types: [opened]
 
-permissions:
-  pull-requests: write
-  issues: write
-
 jobs:
   check-membership:
     if: vars.DISABLE_EXTERNAL_PR_CHECK != 'true'