Johannes Schmitt

I can confirm these timings. (The OSCAR ones.)

> @joschmitt what do you mean with "The OSCAR ones" ? I meant that it also takes ~200 seconds for me with OSCAR master (and I did not try Singular).

Probably this is a non-issue because anybody can use `"x#"` etc. To be clear: I don't really *want* variables to print like `x_{3}`, I just think they should not print...

> Does this “fix” your issue? Fine by me. I don't have the rights to properly link the issue in the pull request.

> What is up with all the > > ``` > something_very_long = [ > 1, 2, 3, > 4, 5, 6 > ``` > > being changed to >...

If we are generally happy with this, I can try to remove some unwanted changes by hand. (Starting with resetting `docs/make.jl`.)

> I only checked the first 100 lines. I have 49700 to go. Yes, that's also my problem.

Before I put more work into this: What's the idea? Status quo? This pull request (most lines are correctly indented and a few aren't)? We hire somebody to hand-indent every...

Okay!

(That is also one of the questions I have in #1500.)