This morning Ellen told me that we were having a problem with the stove pilot light (subsequently fixed by this afternoon by, as usual, Ellen).
In a panic, I asked her if this affected the pilot light for the microwave.
She assured me it didn’t, thankfully.