Fix CI CLI invocation and add missing dot in documentation

[AggelosMargkas]

Fix documentation files that remain in the old format of alexandria3k.

• Update two documentation file, by adding a3k wherever was needed.

• Add a missing dot .

[dspinellis]

Almost perfect; well done! Two minor things and we're done.

• The use of the informal but used term automagical was intentional.
• Please revise the commit summary to make it self-contained and without punctuation; see these guidelines.

After performing the edit you can integrate it in your commit and revise its wording with git commit --amend -a.

[dspinellis]

Excellent, well done!