Don't rebuild stringreplace so often
Merge pull request #8490 from eschnett/Makefile-stringreplace

Don't rebuild stringreplace so often
doc formatting fix
Merge pull request #8503 from amitmurthy/amitm/docfix

doc formatting fix
Fix 8506: randi -> rand(1:n)
Merge branch 'upstream-master'

Conflicts:
	Makefile