Get rid of library-configuration.markdown -- now integrated into main manual