Dummy issue #11

Short summary

Haitao needs to learn how to work with Git.

Long description

• Create a new branch from main.
• Change one documentation line (no changes to the code).
• Commit it.
• Verify that the tests pass.
• Create a PR with the one commit and link it to the issue.
• Make sure that CI run at GitHub passes.

Estimated time investment

1 hour