Rename annotated HTML file for C#