* Splitter in simp, auto and friends:
- The syntax "split add" has been discontinued, use plain "split".
- For situations with many conditional or case expressions,
there is an alternative splitting strategy that can be much faster.
It is selected by writing "split!" instead of "split". It
> I did not know of this JSON API yet. In Isabelle/74604a9fc4c8 there are
> Isabelle/Scala operations to access that information. (It is an
> interesting experience to work with these untyped JSON things; reminds
> me of LISP expressions.)
Having HTTP APIs is one of the perks of running standard
