Having moved to new hardware, a problem I was having has gone away.  What should I do with the question I raised?  Delete it?