Rename exactly_once_semantics.txt to exactly_once_semantics.html