Credit Berkeley

[risc26z]

Could we add Berkeley's copyright to the wrspice startup banner? I'm pretty sure this is required by Berkeley's licence for the original C* ("provided that the above copyright notice and the following two paragraphs appear in all copies of this software.") quoted from here

Even if it's not required in the binary (such as if that compiled binary isn't redistributed), giving credit for their work seems like a nice thing to do. :-)

• • strictly speaking, the spice license was changed in 2007 to that quoted above, but it was broadly similar beforehand.

Jacob