Move installation synopsis into a synopsis header.