+ Git: ignore doc/ and dist/ (both autogenerated)