Fix error in numbering (duplicate slide number)

what-bkuhn-was-going-to-say.md

@@ -82,7 +82,7 @@ of the room has their hands up.
 Note that early on, we said Sourceforge.  This is an interesting piece of
 history that most don't know: [ switch slides ]
 
-## Sourceforge History: Slide 3
+## VA Linux / Sourceforge Debacle: Slide 3
 
 Sourceforge is a very interesting case.  Most younger developers may not
 know that in the late 1990s, Sourceforge (and forge software in general) was
@@ -136,7 +136,7 @@ realized Inkscape downloads were one of their largest downloaded projects,
 and constantly pitched us toxic revenue-sharing schemes until Inkscape
 finally escaped Sourceforge. [ next slide ]
 
-## Sourceforge Diaspora: Slide 3
+## Sourceforge Diaspora: Slide 4
 
 The reason some projects had such trouble with getting away from Sourceforge
 was because there wasn't a primary fork, but dozens.  Here's a list of the
@@ -146,7 +146,7 @@ that, by the time AJAX and Web 2.0 came along, there was not enough
 leadership to move an old PHP+HTML application to the more interactive and
 modern looks that users were demanding by the late 2000s. [ switch slides ]
 
-## Preston-Warner: Slide 4
+## Preston-Warner: Slide 5
 
 Enter GitHub, founded in October 2007.  GitHub from its very founding learned
 the VA Linux lesson: don't ever give anyone code, and in fact, take great
@@ -187,7 +187,7 @@ proprietarizing it, they chose proprietarization *every* *single* *time*.
 
 [ next slide ]
 
-## Microsoft Acquired GitHub: Slide 5
+## Microsoft Acquired GitHub: Slide 6
 
 Ultimately, Microsoft was a perfect match for GitHub.  [ Karen should say: ]
 I once spoke at Microsoft and asked them publicly apologize for calling the