14th commit: rm old user manual, and adding ; to sr* main functions