For historical reasons, 80 is used as the default column width in most of today's virtual terminals. To accommodate that, also reduce the indentation so that the available space of a line won't be too small for nested blocks.
This pull request is opened using a shared GitHub account. Please find the actual author in the git log, and use "Rebase and merge" for correct attribution. The author may have no access to this account, so please do not assume there will be replies from a real human. But you can still leave a comment, and code will be updated here once addressed. - Your Sincere Bot
For historical reasons, 80 is used as the default column width in most of today's virtual terminals. To accommodate that, also reduce the indentation so that the available space of a line won't be too small for nested blocks.
This pull request is opened using a shared GitHub account. Please find the actual author in the git log, and use "Rebase and merge" for correct attribution. The author may have no access to this account, so please do not assume there will be replies from a real human. But you can still leave a comment, and code will be updated here once addressed. - Your Sincere Bot