Remove out-of-date doc