[PATCH v2 04/10] docs/devel: fix duplicate line