Implement shell script to correct links in .html file
Make correct_html.sh to output verbosely
Correct links in translation html files