Thread:GarfieldTC/@comment-47131902-20201108205522/@comment-39707429-20201108211905

Done. In the future, please message such things on SML wiki, not Community Central.