added the ability to extract a derivation
from a judgment-form via build-derivation
(returns derivation structs)
fix bug in detecting the name of the language
(encoding problems)

Also, Rackety
db: fix finalization bug
update props for removed file
updated HISTORY

Include in 5.3.1 release.
updated manual tests
macro stepper: fix bug re taking over run button
  Closes PR 13019
macro-stepper: show errors in provide expansion
  closes PR 13018
Test localhost tcp before running echo server test
Change thread test to use fake tcp with same structure
fix a JIT problem with inline stuct allocation
attempted to clean up the derivation support
so that no derivation data structure creation
happens during just a normal judgment-holds,
but this was not entirely successful, so there
still is some....

Also, improved the test-util to show stacktraces
for errors (when they exist)
fix GC alignment bug

Merge to v5.3.1
Examples for basic pict constructors & combiners
add rule names to the derivation struct

change the intermediate data structures built up
while building the derivation to use their own
structs (instead of vectors)
Revert "Change thread test to use fake tcp with same structure"

This reverts commit d39780a130923b59169f0f6fe7b046b7ba73b6cf.

Matthew says this test is really about TCP, so it should not be
changed. Although perhaps we can use a more basic TCP test to check if
this should be done.
fix `chaperone-prompt-tag'
fix syntax checking for `case'

Merge to v5.3.1
doc repair

Looks like it was an accidental incorrect update

Merge to v5.3.1
Don't copy chaperoned immutable vectors.