Automatic Redirection section, misc tweaks

- PussTheCat.org's name
- Barrow's name
- strict_proxy does stylesheets now as well

docs.scrbl

@@ -32,24 +32,51 @@
                              (if (string? (third row)) (url (third row)) (third row))))
               `((,(literal "Hoster") #f ,(literal "Link"))
                 ("Cadence" "https://cadence.moe" "https://breezewiki.com")
-                ("PussTheCat" "https://pussthecat.org" "https://breezewiki.pussthecat.org")
+                ("PussTheCat.org" "https://pussthecat.org" "https://breezewiki.pussthecat.org")
                 ("Odyssey346" "https://odyssey346.dev/" "https://bw.odyssey346.dev/")
                 ("~vern" "https://vern.cc/" "https://bw.vern.cc/")
                 ))]
 
-@subsection{Tools}
+@subsection[#:tag "Tools"]{Tools}
 
 @subsubsection{Cadence's redirector}
 
 @url{https://docs.breezewiki.com/files/redirector.user.js}
 
-Displays a giant banner with a link to send you to BreezeWiki.
+Displays a giant banner and you can click a link to go to BreezeWiki.
 
-@subsubsection{barr0w's redirector}
+@subsubsection{Barrow's redirector}
 
 @url{http://alphamethyl.barr0w.net/~barrow/src/barrownet_ca_redirector/breezewiki_redirector.user.js}
 
-Just sends you to BreezeWiki.
+Just sends you to BreezeWiki automatically.
+
+@; -----------------------------------------------------------------------------
+
+@section{Automatic Redirection}
+
+If you'd like to be automatically redirected from fandom.com to breezewiki.com, follow @italic{one} of the methods below.
+
+@subsection{Browser extension: Redirector}
+
+This will redirect you with no fanfare.
+
+@itemlist[#:style 'ordered
+@item{Install the extension: @hyperlink["https://addons.mozilla.org/en-GB/firefox/addon/redirector/" "Firefox"] or @hyperlink["https://chrome.google.com/webstore/detail/redirector/ocgpenflpmgnfapjedencafcfakcekcd" "Chrome"]}
+@item{Download this file: @url{https://docs.breezewiki.com/files/breezewiki-redirector.json}}
+@item{Click on the Redirector extension icon, click @italic{Edit Redirects}, click @italic{Import}, then choose the @italic{breezewiki-redirector.json} file you just downloaded. It will say successfully imported.}
+@item{Once it's imported, you can delete the @italic{breezewiki-redirector.json} file from your computer.}
+]
+
+@subsection{Browser extension: Violentmonkey}
+
+@nested[#:style (style "block-note" null)]{Violentmonkey executes @italic{userscripts} created by other people, which can do many things to your web browser, more than just redirect you. Some may be helpful, some may be harmful. Make sure you only install userscripts that you trust.}
+
+@itemlist[#:style 'ordered
+@item{@hyperlink["https://violentmonkey.github.io/get-it/" "Install the extension"] (or you can choose another userscript manager, like Greasemonkey or Tampermonkey)}
+@item{Look at the @Secref["Tools"] section of this website, choose somebody's userscript, and click the link.}
+@item{Violentmonkey will show you the code of the userscript, and offer to install it for you. If you want to proceed with the installation, click @italic{Confirm Installation}.}
+]
 
 @; -----------------------------------------------------------------------------
 
@@ -177,5 +204,5 @@ Which port to run the server on.
 }
 
 @defthing[strict_proxy boolean #:value true]{
-Whether to put more URLs through the proxy. If false, just a minimal set is proxied. If true, additionally proxies link hrefs to image files, thereby reducing the potential for end-users to connect to Fandom servers.
+Whether to put more URLs through the proxy. If false, just a minimal set is proxied. If true, additionally proxies page stylesheets and links to image files, thereby reducing the potential for end-users to connect to Fandom servers.
 }