4 ms·

And the spoiler buttons serving no purpose excepted preventing to read fast... obnoxious.

• wolframkriesing 3y ago
  sorry if its annoying. I had put it there to not overwhelm with info right from the start. Seems not to work for some.