Hi Andrew,

doc/he-config-bare-bones.texi is missing.