migrate overview section's text into semantics section