Warn about recently removed option EXTRAVNODES and about other rubbish that hasn't been put in opt_defunct.h yet.