The dripping got worse, despite all my efforts to reseat the valve, so in the end I paid a plumber to insert a stopcock in the pipe. Problem solved but, since that valve has never leaked before, I'm wondering why it should have started doing so immediately after British Gas (who I've never had...