README.md file -- minimize changes to github/master version
Minimize changes wrt. github/master version to allow for easy migration of github/develop branch in our code.
-
delete the added header providing information on changes introduced by us. -
once done with migrating github/develop, decide if the deleted header info should be brought back in.