Replacing ``foo'' by `foo' does not seem judicious to me. The characters ` and ' have a special meaning in Eiffel comments. But in the cases involved, foo is not an Eiffel entity, just emphasized text.
So, I would have rather replaced ``foo'' by "foo".

--
Eric Bezault