[Bash web page] Proposed changes

[Thérèse Godefroy]

Hello Bash maintainers,

We are planning to migrate all templated pages on gnu.org to HTML5 in
order to improve accessibility. But before doing this, deprecated tags
such as <tt>, <acronym> and <big> need to be removed.

<tt> is found in the home page of Bash. I got rid of it, and took
this opportunity to do some minor edits:

* Replace <tt> with quotes; <kbd> for commands, <code> for files, etc.
* Introduction: avoid repeating "Bash" too many times; add
  punctuation to the list.
* Downloads: avoid long URLs as link text.
* Mailing lists: <ul> instead of <p>; address at the beginning of the
sentence.
* Translations: more concise wording.
* http > https where possible; local URLs relative to server root.
* Update to latest boilerplate and reduce line width.

If you agree with the changes but don't have time to commit them right
now, I will gladly do it.

BEst regards,
Thérèse

bash.diff
Description: Text Data