Added text replacements

Settings now includes a text replacement dictionary, so you can add
replacements such as “pokemon” to “Pokémon”, for instance. Prepending a
double backslash to a word that would usually be replaced prevents if
from being replaced. Additionally, Input.js will now work if Textbox
does not work.