All notebooks at https://docs.xdsl.dev/marimo/ should use the navigation-free layout as in https://docs.xdsl.dev/marimo/html/mlir_introduction/.