The default level is always given in the declare_lint! macro, no need to add it inconsistently in the documentation.