[Manual] Add scripts and raw wiki

Bootstrap.sh

@@ -1,28 +0,0 @@
-#!/bin/sh
-
-# Export all tiddlers from the specific path of the HTML wiki
-tiddlywiki \
-	--verbose \
-	--load ./public/index.html \
-	--output ./Output.tmp \
-	--save "[prefix[$:/OcttKB/Repo/]]"
-
-# Move the exported folder to a better location
-mv ./Output.tmp/\$_/OcttKB/Repo ./Repo.tmp
-
-# Rename all extracted scripts to have a correct extension (remove .txt suffix)
-cd ./Repo.tmp
-for File in *.sh.txt
-do
-	mv "$File" "${File/.txt}"
-done
-cd ..
-
-# Move the files of this repo to overwrite the extracted ones, then move everything back
-# This is so, if present, files from the repo are preferred, if needed in case of emergency
-mv ./Repo/* ./Repo.tmp/
-mv ./Repo.tmp/* ./Repo/
-
-# Move everything to the working directory, ready for the next steps
-mv ./Repo/* ./
-chmod +x *.sh