This reverts commit 03b32df1.

This reverts commit c6499889.

Increased the Distance of the Tape-Gadget.

Unity Plugin "Visual Studio Code Editor" is not supported any more, the latest version of the Unity Plugin "Visual Studio Editor" now also supports VS Code.

Toggle for prefatching from Server/Json; Fact naming; updated scrolls.json; Fact pushout now blocking;

Auto Doxygen deployment

This reverts commit cbb167d1.