Add some documentation

[ci skip]