b0b0aa5d858d ("Documentation: Remove bogus claim about del_timer_sync()")