add script for replacing links to examples with "live" links
add script for replacing links to examples with "live" links

leanprover/presentations,leanprover/presentations,leanprover/presentations,leanprover/presentations