index.html: Added 'debian' to headings; removed footer; moved checkboxes
into one line