...
It’s common mistake in a lot of documentation though to spend a lot of energy explaining obvious things. This makes the documentation worse though because the documentation becomes long and boring and people won’t want to read it.
It’s a problem to make documentation which puts too much emphasis on unimportant things - think of them as edge cases.