docs: fix insertions file name

[wenxiaojie1]

Summary

• update the insertion docs to consistently reference insertions.html / insertions.md

Validation

• git diff --check

Closes #277

[gerteck]

Thanks for the PR! @wenxiaojie1