In order to be release ready, a similar addition could be done to INSTALL.