Rename displayed product to SolidCraft and add header bug reporting

docs/book/src/dev/kernel.md

@@ -1,9 +1,9 @@
 # The kernel boundary and truck
 
-`crates/kernel` is SolveCraft's B-rep kernel. It wraps
+`crates/kernel` is SolidCraft's B-rep kernel. It wraps
 [truck](https://github.com/ricosjp/truck) (Apache-2.0) for topology, NURBS geometry, booleans,
 tessellation and STEP parsing, and it is the only crate allowed to use truck. Callers get
-SolveCraft types (`Body`, face and edge indices, meshes, measures) and a
+SolidCraft types (`Body`, face and edge indices, meshes, measures) and a
 `KernelError` instead of truck types and panics.
 
 ## `guard`
@@ -20,7 +20,7 @@ A failing feature shows an error on the timeline; it never takes the app down.
 
 ## What is our own
 
-truck has no fillets, chamfers, shells or face edits, so these are SolveCraft code in the
+truck has no fillets, chamfers, shells or face edits, so these are SolidCraft code in the
 kernel: constant, chord and variable-radius fillets with corner blends, chamfers, shell and
 offset, Delete Face, Split Face, Replace Face, sewing, STEP and IGES reading and writing beyond
 truck's parser, and face provenance (which input face each output face came from, for