Add some debug info to the manual, for the travis build