 7fb1e3af77
			
		
	
	
		7fb1e3af77
		
	
	
	
	
		
			
			Instead of putting a README in the directory where the manual is written, put the information from it straight in the docs themselves. It's a bit untrivial to guess the manual is located exactly there for contributers.