docs: port to VitePress

Things that happen in this shameless squash:
- Removed 404 page
  - It doesn't work in VitePress and making it work in VitePress needs
    some invasive hack in the theme that I'm not willing to do
  - The default is more than enough, though
- Moved consoleVersionSelect include to another directory
  - This avoids being uploaded to Crowdin for translation
- Inline all SafeB9SInstaller includes
  - Not only do parameterized includes not work, but if/else statements
    don't work at all
- The sysupdate include parameter hasn't been used since MSET9, so it
  actually works just fine without any parameters. Hooray(?)
- Move mset9-chorus to an include, that logic doesn't work in VitePress
- Removed Get Started button from homepage, it breaks translations
- Tables in get-started are now shown by default; it seems VitePress really does
  not want us to use inline script. So we cannot enable it upon
  realizing that the browser is JS capable
- Include parameters are now in frontmatter to allow translation
- Hacked in a bunch of CSS values kanged from the old theme to make it
  look not stupid
- Drop headers down one level to make table of contents work

docs/formatting-sd-(linux).md

@@ -1,10 +1,6 @@
----
-title: "Formatting SD (Linux)"
----
+# Formatting SD (Linux)
 
-{% include toc title="Table of Contents" %}
-
-### Required Reading
+## Required Reading
 
 This is an add-on section for formatting an SD card to work with the 3DS.
 
@@ -12,18 +8,18 @@ If the 3DS already recognizes the SD card, this guide is not required.
 
 This page is for Linux users only. If you are not on Linux, check out the [Formatting SD (Windows)](formatting-sd-(windows)) or [Formatting SD (Mac)](formatting-sd-(mac)) pages.
 
-### Instructions
+## Instructions
 
 1. Make sure your SD card is **not** inserted
 1. Launch the Linux Terminal
 1. Type `watch "lsblk"`
 1. Insert your SD card into your computer
 1. Observe the output. It should match something like this:
-```
-NAME        MAJ:MIN RM   SIZE RO TYPE MOUNTPOINT
-mmcblk0     179:0    0   3,8G  0 disk
-└─mmcblk0p1 179:1    0   3,7G  0 part /run/media/user/FFFF-FFFF
-```
+    ```
+    NAME        MAJ:MIN RM   SIZE RO TYPE MOUNTPOINT
+    mmcblk0     179:0    0   3,8G  0 disk
+    └─mmcblk0p1 179:1    0   3,7G  0 part /run/media/user/FFFF-FFFF
+    ```
 1. Take note of the device name. In our example above, it was `mmcblk0p1`
     + If `RO` is set to 1, make sure the lock switch is not slid down
 1. Hit CTRL + C to exit the menu
@@ -35,7 +31,7 @@ mmcblk0     179:0    0   3,8G  0 disk
     + 128GB or higher: `sudo mkfs.fat /dev/(device name from above) -s 128 -F 32`
         + This creates a single FAT32 partition with 64 KB cluster size on the SD card
 
-### Troubleshooting
+## Troubleshooting
 
 * SD card remains undetected by console or continues to display the wrong capacity after formatting
     + Your SD card may be partitioned or have unallocated space. Follow the instructions [here](https://wiki.hacks.guide/wiki/SD_Clean/Linux) to reformat your SD card.