[Rob Hooft] > Attached are some more changes I'd like to propose to make to hammie: I'd just check this in, if I were you. One suggestion: option names have to be unique across all sections now, so tiny option names like "header" would be better spelled, e.g., hammie_header_name.