Changes

Summary

1. added lemma wfp_on_image and author name to theory
2. merged
3. more robust XML body: allow empty text, as well as arbitrary pro-forma markup (e.g. see XML.blob in Isabelle/ML);
4. more robust: untyped/unscoped markup elements need to reside in module Markup for minimal static checking (see also 11a1f4d7af51);
5. misc tuning for release;
6. merged;
7. NEWS for "isabelle go_setup";
8. proper platform_path for Windows;
9. misc tuning, following go_setup;
10. dynamic setup of Go component, similar to Dotnet;
11. tuned comments;
12. clarified signature: more operations;
13. clarified signature: explicit type Platform.Info with derived operations;
14. less ambitious parallelism: avoid exhaustion of memory (64GB total);
15. provide ISABELLE_DOTNET_VERSION via settings, following "isabelle ghc_setup";
16. tuned;
17. tuned messages;
18. update to bash_process-20240326;
19. build bash_process in Isabelle/Scala, with etc/platforms.prop to preserve all platform directories (e.g. for SSH upload);
20. clarified meaning of platform.props: update on default;
21. allow raw input in HTML (e.g., for web applications);