Merge "Drop empty documentation sections"