Sorry, that was not a question. If we find a mistake, a typo (Schreibfehler) in the docu then it's good to send it immediately to someone who takes care of it. In the most cases we (including me) go ahead and don't inform the person who is in charge 😉
... View more