Fix spelling errors in HISTORY.md returned by scripts/spell-check.sh -r

[marcofavoritobi]

Proposed changes

This PR fixes the spellcheck errors in HISTORY.md. Moreover, it adds to the triggers of the docs CI workflow the markdown project metafiles: AUTHORS.md, CONTRIBUTING.md, HISTORY.md, and README.md.

Fixes

n/a

Types of changes

What types of changes does your code introduce?
Put an x in the boxes that apply

• Bugfix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)

Checklist

n/a

Further comments

n/a

[codecov-commenter]

Codecov Report

Merging #44 (08ea83f) into main (3e09454) will increase coverage by 0.06%.
The diff coverage is n/a.

📣 This organization is not using Codecov’s GitHub App Integration. We recommend you install it so Codecov can continue to function properly for your repositories. Learn more

Additional details and impacted files

@@            Coverage Diff             @@
##             main      #44      +/-   ##
==========================================
+ Coverage   96.75%   96.82%   +0.06%     
==========================================
  Files          30       30              
  Lines        1512     1512              
==========================================
+ Hits         1463     1464       +1     
+ Misses         49       48       -1     

see 1 file with indirect coverage changes

[muxator]

lgtm