Issue #1258176 by sven.lauer: API doc for element_children() is only useful for people who already know what 'children' are.