diff --git a/doc/bugs/proxy_command_fails_on_Windows/comment_1_321b0611f82de329aaca4cd40d0e10b1._comment b/doc/bugs/proxy_command_fails_on_Windows/comment_1_321b0611f82de329aaca4cd40d0e10b1._comment
deleted file mode 100644
index 775d3b1df0..0000000000
--- a/doc/bugs/proxy_command_fails_on_Windows/comment_1_321b0611f82de329aaca4cd40d0e10b1._comment
+++ /dev/null
@@ -1,8 +0,0 @@
-[[!comment format=mdwn
- username="https://www.google.com/accounts/o8/id?id=AItOawmWBvsZvSsAL8P2ye3F0OBStjFCVnOImzM"
- nickname="Jarno"
- subject="Not a bug"
- date="2014-11-28T16:48:22Z"
- content="""
-Turns out this was **not a Git Annex bug**, but a symptom of not restarting \"git shell\"s (or Windows) after Git Annex upgrade. Apparently it sets some paths that don't take effect before a relogin.
-"""]]