diff --git a/doc/todo/shorten_git-annex_manpage/comment_4_fa6c2870f4a83d0f5680b76b05009e4b._comment b/doc/todo/shorten_git-annex_manpage/comment_4_fa6c2870f4a83d0f5680b76b05009e4b._comment new file mode 100644 index 0000000000..57e91fd7e4 --- /dev/null +++ b/doc/todo/shorten_git-annex_manpage/comment_4_fa6c2870f4a83d0f5680b76b05009e4b._comment @@ -0,0 +1,14 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 4""" + date="2023-01-16T18:22:16Z" + content=""" +Reviewing this, I think what we've shown is that there's no good way to +shorten it, that does not have other tradeoffs! + +And what's the real problem with the man page being a bit longer? +Most users are probably not reading through all that, but are searching. +And users who do read through it get to see around 5 commands summarized +per page on their 25 line dumb terminal. Those of us with modern hardware +can often see considerably more commands per page. +"""]]