toplevel: prepare INSTALL for midterm