BATMAN tutorial is back: easier to refer to docs