Documentation on implicit builder is out of date?

[AntonLydike]

The implicit builder docs state:

class ImplicitBuilder(contextlib.AbstractContextManager[tuple[BlockArgument, ...]]):
    """
    Stores the current implicit builder context, consisting of the stack of builders in
    the current thread, and the current builder.

    Operations created within a `with` block of an implicit builder will be added to it.
    If there are nested implicit builder blocks, the operation will be added to the
    innermost one. Operations cannot be added to multiple blocks, and any attempt to do so
    will result in an exception.

    Example:

    ``` python
    from xdsl.dialects import arith

    block = Block()
    builder = Builder(block)

    with builder.implicit():
        arith.Constant.from_int_and_width(5, 32)

    assert len(block.ops) == 1
    assert isinstance(block.ops.first, arith.Constant)
    ```
    """

But trying to use Bulder(block).implicit() throws:

Traceback (most recent call last):
  File "/home/anton/projects/sympy2xdsl/test/filecheck/basic.py", line 13, in <module>
    with builder.implicit():
         ^^^^^^^^^^^^^^^^
AttributeError: 'Builder' object has no attribute 'implicit'

(@superlopuh )