Hide buttons in the install tool if they are not required anymore (see #6988)