tuned headers;

--- a/src/Pure/Admin/ci_build.scala	Tue Mar 07 23:09:30 2023 +0100
+++ b/src/Pure/Admin/ci_build.scala	Tue Mar 07 23:24:40 2023 +0100
@@ -1,4 +1,4 @@
-/*  Title:      Pure/Admin/ci_profile.scala
+/*  Title:      Pure/Admin/ci_build.scala
     Author:     Lars Hupel and Fabian Huch, TU Munich
 
 Build profile for continuous integration services.

--- a/src/Pure/Admin/component_verit.scala	Tue Mar 07 23:09:30 2023 +0100
+++ b/src/Pure/Admin/component_verit.scala	Tue Mar 07 23:24:40 2023 +0100
@@ -1,4 +1,4 @@
-/*  Title:      Pure/Admin/component_csdp.scala
+/*  Title:      Pure/Admin/component_verit.scala
     Author:     Makarius
 
 Build Isabelle veriT component from official download.

--- a/src/Pure/General/js.scala	Tue Mar 07 23:09:30 2023 +0100
+++ b/src/Pure/General/js.scala	Tue Mar 07 23:24:40 2023 +0100
@@ -1,4 +1,4 @@
-/*  Title:      Pure/General/json.scala
+/*  Title:      Pure/General/js.scala
     Author:     Makarius
 
 Support for JavaScript syntax.

--- a/src/Pure/General/zstd.scala	Tue Mar 07 23:09:30 2023 +0100
+++ b/src/Pure/General/zstd.scala	Tue Mar 07 23:24:40 2023 +0100
@@ -1,4 +1,4 @@
-/*  Title:      Pure/General/xz.scala
+/*  Title:      Pure/General/zstd.scala
     Author:     Makarius
 
 Support for Zstd data compression.

--- a/src/Pure/PIDE/byte_message.scala	Tue Mar 07 23:09:30 2023 +0100
+++ b/src/Pure/PIDE/byte_message.scala	Tue Mar 07 23:24:40 2023 +0100
@@ -1,4 +1,4 @@
-/*  Title:      Pure/General/byte_message.scala
+/*  Title:      Pure/PIDE/byte_message.scala
     Author:     Makarius
 
 Byte-oriented messages.

--- a/src/Pure/System/isabelle_fonts.scala	Tue Mar 07 23:09:30 2023 +0100
+++ b/src/Pure/System/isabelle_fonts.scala	Tue Mar 07 23:24:40 2023 +0100
@@ -1,4 +1,4 @@
-/*  Title:      Pure/System/isabelle_system.scala
+/*  Title:      Pure/System/isabelle_fonts.scala
     Author:     Makarius
 
 Fonts from the Isabelle system environment, notably the "Isabelle DejaVu"

--- a/src/Pure/Tools/flarum.scala	Tue Mar 07 23:09:30 2023 +0100
+++ b/src/Pure/Tools/flarum.scala	Tue Mar 07 23:24:40 2023 +0100
@@ -1,4 +1,4 @@
-/*  Title:      Pure/General/flarum.scala
+/*  Title:      Pure/Tools/flarum.scala
     Author:     Makarius
 
 Support for Flarum forum server: https://flarum.org

--- a/src/Tools/jEdit/jedit_main/isabelle_sidekick.scala	Tue Mar 07 23:09:30 2023 +0100
+++ b/src/Tools/jEdit/jedit_main/isabelle_sidekick.scala	Tue Mar 07 23:24:40 2023 +0100
@@ -1,4 +1,4 @@
-/*  Title:      Tools/jEdit/src/isabelle_sidekick.scala
+/*  Title:      Tools/jEdit/jedit_main/isabelle_sidekick.scala
     Author:     Fabian Immler, TU Munich
     Author:     Makarius
 

--- a/src/Tools/jEdit/src/jedit_main.scala	Tue Mar 07 23:09:30 2023 +0100
+++ b/src/Tools/jEdit/src/jedit_main.scala	Tue Mar 07 23:24:40 2023 +0100
@@ -1,4 +1,4 @@
-/*  Title:      src/Tools/jEdit/src/jedit_main.scala
+/*  Title:      Tools/jEdit/src/jedit_main.scala
     Author:     Makarius
 
 Main application entry point for Isabelle/jEdit.

--- a/src/Tools/jEdit/src/jedit_plugins.scala	Tue Mar 07 23:09:30 2023 +0100
+++ b/src/Tools/jEdit/src/jedit_plugins.scala	Tue Mar 07 23:24:40 2023 +0100
@@ -1,4 +1,4 @@
-/*  Title:      Tools/jEdit/src/jedit_plugin.scala
+/*  Title:      Tools/jEdit/src/jedit_plugins.scala
     Author:     Makarius
 
 Isabelle/jEdit plugins via dynamic Isabelle/Scala/Java modules.