Dear developers,
if I copy/paste a verbatim section, all tabs in that section disappear.
This probably has to do with the fact that I have enabled automatic indentation.
However I am very fond of automatic indentation, but I do not want this in verbatim sections.
So please ignore that setting in verbatim sections, or offer an option for separate treatment of verbatim sections.