--- a/doc/GDB.md	Mon Oct 19 11:29:34 2020 +0100
+++ b/doc/GDB.md	Wed Nov 11 23:14:32 2020 +0000
@@ -1,7 +1,3 @@
-
-Welcome file
-
-
 # Building GDB for use with *libgdbs*
 
 As of today, *libgdbs* require a very recent version of GDB. This is because
@@ -9,7 +5,7 @@
 to [GDB's master branch][1], some of them are in process.
 
 Therefore you may need to compile suitable GDB yourself. A git repository with
-all the patches can be found at [https://bitbucket.org/janvrany/binutils-gdb][2]
+all the patches can be found at [https://github.com/janvrany/binutils-gdb][2]
 *in branch `users/jv/vdb`* (note the branch!)
 
 ## Linux
@@ -28,7 +24,7 @@
 
 ### Compiling GDB
 
-    git clone https://bitbucket.org/janvrany/binutils-gdb.git
+    git clone --depth=1 https://github.com/janvrany/binutils-gdb
     cd binutils-gdb
     ./configure \
         --disable-werror \
@@ -44,7 +40,7 @@
 
 ## Windows using MSYS2 and MINGW64
 
-Following recipe has been tested on Windows 7 anc Windows 10 using [MSYS2][3]
+Following recipe has been tested on Windows 7 and Windows 10 using [MSYS2][3]
 and `MinGW 64`.
 
 ### Preparing build environment
@@ -74,7 +70,7 @@
 
 ### Compiling GDB
 
-    git clone https://bitbucket.org/janvrany/binutils-gdb.git
+    git clone --depth=1 https://github.com/janvrany/binutils-gdb
     cd binutils-gdb
     set "PATH=%PATH%;C:\msys64\mingw64\bin"
     bash configure --build=x86_64-w64-mingw32 --disable-werror --with-system-readline --with-guile=no --with-python=C:\msys64\mingw64\bin\python3 --enable-targets="i686-w64-mingw32,x86_64-w64-mingw32"