[gstreamer1-plugins-ugly/f25] Remove conflicting file in devel-docs (rfbz #4589)