remove old closed bugs and todo items to speed up wiki updates and reduce size

Remove closed bugs and todos that were last edited or commented before 2017.

Command line used:

for f in $(grep -l '|done\]\]' -- *.mdwn); do d="$(echo "$f" | sed 's/.mdwn$//')"; if [ -z "$(git log --since=01-01-2017 --pretty=oneline -- "$f")" -a -z "$(git log --since=01-01-2017 --pretty=oneline -- "$d")" ]; then git rm -- "./$f" ; git rm -rf "./$d"; fi; done
for f in $(grep -l '\[\[done\]\]' -- *.mdwn); do d="$(echo "$f" | sed 's/.mdwn$//')"; if [ -z "$(git log --since=01-01-2017 --pretty=oneline -- "$f")" -a -z "$(git log --since=01-01-2017 --pretty=oneline -- "$d")" ]; then git rm -- "./$f" ; git rm -rf "./$d"; fi; done

1 files changed, 0 insertions, 23 deletions

diff --git a/doc/bugs/info_--json_lists_backend_usage_stats_as_a_list_of_lists/comment_1_5db5f19d9bdc81839d984b7e302e49ed._comment b/doc/bugs/info_--json_lists_backend_usage_stats_as_a_list_of_lists/comment_1_5db5f19d9bdc81839d984b7e302e49ed._comment
deleted file mode 100644
index 81a999e20..000000000
--- a/doc/bugs/info_--json_lists_backend_usage_stats_as_a_list_of_lists/comment_1_5db5f19d9bdc81839d984b7e302e49ed._comment
+++ /dev/null
@@ -1,23 +0,0 @@
-[[!comment format=mdwn
- username="joey"
- subject="""comment 1"""
- date="2016-01-01T20:27:27Z"
- content="""
-It was indeed a bug that it counted both keys referenced in the work tree
-and keys whose content was present. Fixed.
-
-It's not hard to fix the json format, but then what happens to anything
-that may be parsing the existing format? I could use a different field
-for the better formatted version and keep the old version in the current
-field, but if the goal is to make the json better, that doesn't really
-work.
-
-Since the old output is so funky, it seems likely to me you're the first
-one to try to consume it since anyone reasonable would file a but report
-about it and you're the first who did.
-
-So.. I guess I'll change the json format and see if anyone complains. 
-
-I have to say that this business of not having any specification other
-than what it currently is, is what annoys me about JSON as a consumer of it.
-"""]]