Updated YoSys docs section.