Rename omega-annotated.html to omega.html