"There are also the options to configure the character
encoding, the keyboard, and others. They are sufficient enough,
tough there are many I couldn’t find (or just didn’t
notice) - like the transparency or option to change the window size
to own taste. Most of the ones we need are there anyway (less the
transparency)."
