The @cond stuff has always been a lot of work for the rare cases of people trying to include things by hand. Just drop it