Fix isdeprecated() in doc/DocCheck.jl