“The Etymology of Mushroom and Some Thoughts on Early Use”, PPC, pp. 117–119, Apr. 2021, doi: 10.1558/ppc.28055.