Dummy edit in English.txt

Dummy edit to give this file a later timestamp, for merging purposes (to
overwrite the master's English.txt)