Document new -F option

docs/GENERAL-INFO.md

@@ -137,6 +137,9 @@ The following options are available when invoking the script from the terminal.
 - `-r | --steamroot NEW_ROOT`
   - Use `NEW_ROOT` as the root of your steam install instead of `~/.steam/root`.
   - This likely has limited use cases, though it may help if you have Flatpak Steam installed and the root is in `/var/app/...`. Do note that Flatpak Steam has not been tested at the time of writing.
+- `-F | --force-flatpak`
+  - Use Flatpak Protontricks even if there exists a system install.
+  - Very useful for development, but also nice if your package manager doesn't yet have the latest version in its repos. Or if you just feel like it.
 
 ## Notes
 

polyversal

@@ -35,7 +35,7 @@ readonly AC_PROTON_DIRNAME='protonge-anonymouscode'
 function print_usage() {
   cat << EOF >&2
 usage: polyversal [ -v | --verbose ] [ -h | --help ] [ --log ]
-                  [ -r | --steamroot ] ...
+                  [ -r | --steamroot ] [ -F | --force-flatpak ] ...
 
 Use a GUI for selecting everything graphically.
 $ $progname
@@ -69,6 +69,8 @@ options:
                             default when running from the desktop file
   -r, --steamroot NEW_ROOT  Use NEW_ROOT as Steam's root directory instead of
                             ~/.local/share/Steam
+  -F, --force-flatpak       Force the use of Flatpak Protontricks even if a
+                            system install is detected.
 
 EOF
 }