r20699: Missing <option> tag r20700: A bunch of missing <systemitem class="library"> tags r20701: Don't break a paragraph in a middle of a thought r20702: Remove ugly indentation in <screen> tags r20703: Better wording, especially if hyperlinks are not visible r20704: Better URL markup r20705: Unify ./configure script handling