Convert numbered pinyin to pinyin with tone marks

Question

Are there any scripts, libraries, or programs using Python, or BASH tools (e.g. awk, perl, sed) which can correc

Answer 1

I came across a VBA macro that does it in Microsoft Word, at pinyinjoe.com

Had a minor flaw which I reported and he responded that he would incorporate my suggestion "as soon as I can" That was early in January 2014; I haven’t had any motivation to check, since it is already done in my copy.