These will be useful for a script we are preparing, to help
us keep up with the English revision id we translated.
While here, translate some toplevel comments which were left
in their original English format, and try to 'standardize' a
bit the way we begin Greek documentation files.