Inktober 2020 #1

It’s October again; time for #Inktober. Which means daily updates again, if you like that sort of thing. But wait, you cry, what happened to September? There’s a lot of scanning to do. I’m working on it.