@stewartstarbuck I bought a second board. I tried wiring the first two different ways, and only succeeded in lighting its LED; I am probably imagining that an added print() statement showed an instance of one of the libraries, at least one of which needed pin number modifications