That they had to shrink workbench.library only to give space for new copyright text says a lot about their priorities.
You make this sound less weird than it actually is
The copyright text had to be updated, but due to how the Kickstart ROM layout works out, this required changes in the fixed-size area of the ROM which precedes the exec coldstart code. The copyright text sits within what's called the "manufacturing pattern" area, which is quite clever because it's right at the beginning of the ROM. There is just enough room for the copyright text, too.
Now there's a problem: the new copyright text was a bit longer than the old one, and it would no longer fit into the "manufacturing pattern" area. My solution to this problem was to place it in the coldstart code, with a branch instruction skipping over the text.
Well, that was some kludgy hack work, if I say so myself, but my troubles were only beginning...
This change made the exec module a bit larger because the copyright text now used up space which was not needed before. The consequence of this being that the A1200 ROM no longer had enough space left for everything to fit into it.
This is why there is a "workbench.library" in the ROM which was rebuilt using SAS/C 6.59 rather than Lattice 'C' 5.04, which was used in the original 1993/1994 build. The SAS/C version is quite a bit smaller than the Lattice 'C' version, and everything would fit.
Anyways, my kickstart says 3.10, the next will be 3.11 for Workgroups, haha
I'm still very much in favour of the TeX and Metafont version number schemes. Kickstart 3.1 is closer to Pi than to e, so maybe we're going to get Kickstart/Workbench 3.14, followed by 3.141, then 3.1415, etc.