George, that is the first time ever I see a disposal manual delivered with a lamp!
Over here, and only since the last two decades or so, there is a logo on the packaging and on the lamp, indicating not to dispose of in household trash, that is about it.
Each municipality has a service somehow taking in such lamps. But I better not think how many lamps are not disposed of properly and broken instead. Recently I saw at a fleamarket an open box with stuff, containing what to me looked like an unpackaged high-pressure lamp.