1. Rename file to our convention.
2. Upcase the text.
3. Translate special Algol characters from Hans' UTF-8 representation to our ASCII convention (even though his looks a lot nicer).
4. Fix invalid sequence numbers at 01558000, 02002000-0212000, 09282600, and 14165500.