[@] Some minor repository fixes and omitted files