Add extra include docs, fix #4274