Git submodules: update
Git ignore: +doc/tags