DSL: remove manual_installer
from caveats
mini-DSL
#7428
Merged
manual_installer
from caveats
mini-DSL
#7428