Removing profiling by default; improving documentation slightly