Docs: Forgot to delete old docs/conf.py, which has been integrated into conf.py.
      Finally found correct lexer name for .bat files.