We thought of adding this section in docs/INSTALL.html