[Tweeters] Correct terminology for castings

[Mike Wagenbach]

I've always been fond of the onomatopoeic term "hork."  Good to know that
there is a specific verb for formal use.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman11.u.washington.edu/pipermail/tweeters/attachments/20201202/dffa7d7f/attachment.html>