feat(lang): Latin sanctoral names, and English

Sanctoral names are transcribed from the Missal's own calendarium and
kept in the GENITIVE, as the Missal prints them -- noted in the file so
nobody corrects them to the nominative.

English reuses the 327 names already in data/ef/sanctoral.sexp rather
than retyping them, and declares fallback = la, so an untranslated day in
an English booklet shows Latin rather than a slug. The test asserts the
FALLBACK works rather than that en.ini is exhaustive: that is what makes
a partial translation shippable from its first line.

Coverage now demands a name for every slug the engine can emit across
2020-2045, temporal and sanctoral alike.

1 files changed, 694 insertions, 0 deletions

diff --git a/lang/en.ini b/lang/en.ini
new file mode 100644
index 0000000..242b2e8
--- /dev/null
+++ b/lang/en.ini
@@ -0,0 +1,694 @@
+; colitur -- English names.
+;
+; [meta] fallback = la: an untranslated slug shows its LATIN name (from
+; lang/la.ini) rather than the bare slug -- the better degradation for a
+; liturgical text (see Lang.with_fallback / test_lang_coverage.ml's own
+; en.ini test). This file is DELIBERATELY NOT EXHAUSTIVE for the same
+; reason: a partial translation is shippable from its first line precisely
+; because the fallback chain covers every gap.
+;
+; [celebration] below covers all 391 TEMPORAL slugs (2020-2045 measured)
+; and all 214 SANCTORAL slugs, generated/translated from this file's own
+; Latin sibling (lang/la.ini) rather than the Missal directly -- English is
+; not a liturgical source language for the 1962 Missal, so there is no
+; primary text to cite line-by-line the way la.ini's own citations do.
+; Ordinary numbered ferias follow one uniform pattern throughout ("<Weekday>
+; of the Nth Week of <Season>"), matching the Missal's own week-numbering
+; convention (a week is numbered by the Sunday it follows, RG's own
+; practice for e.g. Advent/Lent/Time after Pentecost); named days (Ash
+; Wednesday, Holy Week, the Ember days, etc.) use their standard English
+; liturgical names rather than a literal translation.
+
+[meta]
+lang = en
+name = English
+fallback = la
+
+[weekday]
+sunday    = Sunday
+monday    = Monday
+tuesday   = Tuesday
+wednesday = Wednesday
+thursday  = Thursday
+friday    = Friday
+saturday  = Saturday
+
+[month]
+1  = January
+2  = February
+3  = March
+4  = April
+5  = May
+6  = June
+7  = July
+8  = August
+9  = September
+10 = October
+11 = November
+12 = December
+
+[season]
+advent               = Advent
+christmastide        = Christmastide
+time-after-epiphany  = Time after Epiphany
+septuagesima         = Septuagesimatide
+lent                 = Lent
+passiontide          = Passiontide
+paschaltide          = Eastertide
+time-after-pentecost = Time after Pentecost
+
+[rank]
+class-1 = 1st Class
+class-2 = 2nd Class
+class-3 = 3rd Class
+class-4 = 4th Class
+
+[colour]
+white  = White
+red    = Red
+green  = Green
+violet = Violet
+rose   = Rose
+black  = Black
+
+[term]
+ordo          = Ordo
+contents      = Contents
+epistle       = Epistle
+lesson        = Lesson
+gospel        = Gospel
+commemoration = Commemoration
+week          = Week
+
+[celebration]
+; --- Temporal (391 slugs, 2020-2045 measured). ---
+ef-advent-1-friday = Friday of the 1st Week of Advent
+ef-advent-1-monday = Monday of the 1st Week of Advent
+ef-advent-1-saturday = Saturday of the 1st Week of Advent
+ef-advent-1-thursday = Thursday of the 1st Week of Advent
+ef-advent-1-tuesday = Tuesday of the 1st Week of Advent
+ef-advent-1-wednesday = Wednesday of the 1st Week of Advent
+ef-advent-2-friday = Friday of the 2nd Week of Advent
+ef-advent-2-monday = Monday of the 2nd Week of Advent
+ef-advent-2-saturday = Saturday of the 2nd Week of Advent
+ef-advent-2-thursday = Thursday of the 2nd Week of Advent
+ef-advent-2-tuesday = Tuesday of the 2nd Week of Advent
+ef-advent-2-wednesday = Wednesday of the 2nd Week of Advent
+ef-advent-3-monday = Monday of the 3rd Week of Advent
+ef-advent-3-thursday = Thursday of the 3rd Week of Advent
+ef-advent-3-tuesday = Tuesday of the 3rd Week of Advent
+ef-advent-4-friday = Friday of the 4th Week of Advent
+ef-advent-4-monday = Monday of the 4th Week of Advent
+ef-advent-4-thursday = Thursday of the 4th Week of Advent
+ef-advent-4-tuesday = Tuesday of the 4th Week of Advent
+ef-advent-4-wednesday = Wednesday of the 4th Week of Advent
+ef-advent-ember-fri = Advent Ember Friday
+ef-advent-ember-sat = Advent Ember Saturday
+ef-advent-ember-wed = Advent Ember Wednesday
+ef-advent-sunday-1 = 1st Sunday of Advent
+ef-advent-sunday-2 = 2nd Sunday of Advent
+ef-advent-sunday-3 = 3rd Sunday of Advent
+ef-advent-sunday-4 = 4th Sunday of Advent
+ef-ascension = The Ascension of Our Lord
+ef-ascension-vigil = Vigil of the Ascension
+ef-ash-wednesday = Ash Wednesday
+ef-christ-the-king = Christ the King
+ef-christmas-1-friday = Friday before Epiphany
+ef-christmas-1-monday = Monday before Epiphany
+ef-christmas-1-saturday = Our Lady's Saturday Office
+ef-christmas-1-thursday = Thursday before Epiphany
+ef-christmas-1-tuesday = Tuesday before Epiphany
+ef-christmas-1-wednesday = Wednesday before Epiphany
+ef-christmas-2-friday = Friday after Epiphany
+ef-christmas-2-monday = Monday after Epiphany
+ef-christmas-2-saturday = Our Lady's Saturday Office
+ef-christmas-2-thursday = Thursday after Epiphany
+ef-christmas-2-tuesday = Tuesday after Epiphany
+ef-christmas-2-wednesday = Wednesday after Epiphany
+ef-christmas-sunday-0 = Sunday within the Octave of the Nativity
+ef-circumcision = The Octave Day of the Nativity
+ef-corpus-christi = Corpus Christi
+ef-easter-1-friday = Friday of Easter Week
+ef-easter-1-monday = Monday of Easter Week
+ef-easter-1-saturday = Saturday of Easter Week
+ef-easter-1-thursday = Thursday of Easter Week
+ef-easter-1-tuesday = Tuesday of Easter Week
+ef-easter-1-wednesday = Wednesday of Easter Week
+ef-easter-2-friday = Friday of the 2nd Week of Eastertide
+ef-easter-2-monday = Monday of the 2nd Week of Eastertide
+ef-easter-2-saturday = Our Lady's Saturday Office
+ef-easter-2-thursday = Thursday of the 2nd Week of Eastertide
+ef-easter-2-tuesday = Tuesday of the 2nd Week of Eastertide
+ef-easter-2-wednesday = Wednesday of the 2nd Week of Eastertide
+ef-easter-3-friday = Friday of the 3rd Week of Eastertide
+ef-easter-3-monday = Monday of the 3rd Week of Eastertide
+ef-easter-3-saturday = Our Lady's Saturday Office
+ef-easter-3-thursday = Thursday of the 3rd Week of Eastertide
+ef-easter-3-tuesday = Tuesday of the 3rd Week of Eastertide
+ef-easter-3-wednesday = Wednesday of the 3rd Week of Eastertide
+ef-easter-4-friday = Friday of the 4th Week of Eastertide
+ef-easter-4-monday = Monday of the 4th Week of Eastertide
+ef-easter-4-saturday = Our Lady's Saturday Office
+ef-easter-4-thursday = Thursday of the 4th Week of Eastertide
+ef-easter-4-tuesday = Tuesday of the 4th Week of Eastertide
+ef-easter-4-wednesday = Wednesday of the 4th Week of Eastertide
+ef-easter-5-friday = Friday of the 5th Week of Eastertide
+ef-easter-5-monday = Monday of the 5th Week of Eastertide
+ef-easter-5-saturday = Our Lady's Saturday Office
+ef-easter-5-thursday = Thursday of the 5th Week of Eastertide
+ef-easter-5-tuesday = Tuesday of the 5th Week of Eastertide
+ef-easter-5-wednesday = Wednesday of the 5th Week of Eastertide
+ef-easter-6-friday = Friday of the 6th Week of Eastertide
+ef-easter-6-saturday = Our Lady's Saturday Office
+ef-easter-7-friday = Friday of the 7th Week of Eastertide
+ef-easter-7-monday = Monday of the 7th Week of Eastertide
+ef-easter-7-thursday = Thursday of the 7th Week of Eastertide
+ef-easter-7-tuesday = Tuesday of the 7th Week of Eastertide
+ef-easter-7-wednesday = Wednesday of the 7th Week of Eastertide
+ef-easter-8-monday = Monday of Pentecost Week
+ef-easter-8-thursday = Thursday of Pentecost Week
+ef-easter-8-tuesday = Tuesday of Pentecost Week
+ef-easter-sunday = Easter Sunday
+ef-easter-sunday-3 = 2nd Sunday after Easter
+ef-easter-sunday-4 = 3rd Sunday after Easter
+ef-easter-sunday-5 = 4th Sunday after Easter
+ef-easter-sunday-6 = 5th Sunday after Easter
+ef-easter-sunday-7 = Sunday after the Ascension
+ef-epiphany = The Epiphany of Our Lord
+ef-holy-name = The Holy Name of Jesus
+ef-holy-name-sunday = The Holy Name of Jesus
+ef-lent-1-monday = Monday of the 1st Week of Lent
+ef-lent-1-thursday = Thursday of the 1st Week of Lent
+ef-lent-1-tuesday = Tuesday of the 1st Week of Lent
+ef-lent-2-friday = Friday of the 2nd Week of Lent
+ef-lent-2-monday = Monday of the 2nd Week of Lent
+ef-lent-2-saturday = Saturday of the 2nd Week of Lent
+ef-lent-2-thursday = Thursday of the 2nd Week of Lent
+ef-lent-2-tuesday = Tuesday of the 2nd Week of Lent
+ef-lent-2-wednesday = Wednesday of the 2nd Week of Lent
+ef-lent-3-friday = Friday of the 3rd Week of Lent
+ef-lent-3-monday = Monday of the 3rd Week of Lent
+ef-lent-3-saturday = Saturday of the 3rd Week of Lent
+ef-lent-3-thursday = Thursday of the 3rd Week of Lent
+ef-lent-3-tuesday = Tuesday of the 3rd Week of Lent
+ef-lent-3-wednesday = Wednesday of the 3rd Week of Lent
+ef-lent-4-friday = Friday of the 4th Week of Lent
+ef-lent-4-monday = Monday of the 4th Week of Lent
+ef-lent-4-saturday = Saturday of the 4th Week of Lent
+ef-lent-4-thursday = Thursday of the 4th Week of Lent
+ef-lent-4-tuesday = Tuesday of the 4th Week of Lent
+ef-lent-4-wednesday = Wednesday of the 4th Week of Lent
+ef-lent-after-ashes-friday = Friday after Ash Wednesday
+ef-lent-after-ashes-saturday = Saturday after Ash Wednesday
+ef-lent-after-ashes-thursday = Thursday after Ash Wednesday
+ef-lent-ember-fri = Lenten Ember Friday
+ef-lent-ember-sat = Lenten Ember Saturday
+ef-lent-ember-wed = Lenten Ember Wednesday
+ef-lent-sunday-1 = 1st Sunday of Lent
+ef-lent-sunday-2 = 2nd Sunday of Lent
+ef-lent-sunday-3 = 3rd Sunday of Lent
+ef-lent-sunday-4 = 4th Sunday of Lent
+ef-low-sunday = Low Sunday (Sunday in Easter Octave)
+ef-nativity = The Nativity of Our Lord (Christmas)
+ef-nativity-octave-day-5 = 5th Day within the Octave of the Nativity
+ef-nativity-octave-day-6 = 6th Day within the Octave of the Nativity
+ef-nativity-octave-day-7 = 7th Day within the Octave of the Nativity
+ef-nativity-vigil = Vigil of the Nativity (Christmas Eve)
+ef-palm-sunday = Palm Sunday
+ef-passion-sunday = Passion Sunday
+ef-passiontide-1-friday = Friday of the 1st Week of Passion Week
+ef-passiontide-1-monday = Monday of the 1st Week of Passion Week
+ef-passiontide-1-saturday = Saturday of the 1st Week of Passion Week
+ef-passiontide-1-thursday = Thursday of the 1st Week of Passion Week
+ef-passiontide-1-tuesday = Tuesday of the 1st Week of Passion Week
+ef-passiontide-1-wednesday = Wednesday of the 1st Week of Passion Week
+ef-passiontide-2-friday = Good Friday
+ef-passiontide-2-monday = Monday of Holy Week
+ef-passiontide-2-saturday = Holy Saturday
+ef-passiontide-2-thursday = Holy Thursday (Maundy Thursday)
+ef-passiontide-2-tuesday = Tuesday of Holy Week
+ef-passiontide-2-wednesday = Wednesday of Holy Week (Spy Wednesday)
+ef-pentecost = Pentecost Sunday (Whitsunday)
+ef-pentecost-ember-fri = Pentecost Ember Friday
+ef-pentecost-ember-sat = Pentecost Ember Saturday
+ef-pentecost-ember-wed = Pentecost Ember Wednesday
+ef-pentecost-vigil = Vigil of Pentecost
+ef-rogation-monday = Rogation Monday
+ef-rogation-tuesday = Rogation Tuesday
+ef-sacred-heart = The Sacred Heart of Jesus
+ef-september-ember-fri = September Ember Friday
+ef-september-ember-sat = September Ember Saturday
+ef-september-ember-wed = September Ember Wednesday
+ef-septuagesima-1-friday = Friday of the 1st Week of Septuagesimatide
+ef-septuagesima-1-monday = Monday of the 1st Week of Septuagesimatide
+ef-septuagesima-1-saturday = Our Lady's Saturday Office
+ef-septuagesima-1-thursday = Thursday of the 1st Week of Septuagesimatide
+ef-septuagesima-1-tuesday = Tuesday of the 1st Week of Septuagesimatide
+ef-septuagesima-1-wednesday = Wednesday of the 1st Week of Septuagesimatide
+ef-septuagesima-2-friday = Friday of the 2nd Week of Septuagesimatide
+ef-septuagesima-2-monday = Monday of the 2nd Week of Septuagesimatide
+ef-septuagesima-2-saturday = Our Lady's Saturday Office
+ef-septuagesima-2-thursday = Thursday of the 2nd Week of Septuagesimatide
+ef-septuagesima-2-tuesday = Tuesday of the 2nd Week of Septuagesimatide
+ef-septuagesima-2-wednesday = Wednesday of the 2nd Week of Septuagesimatide
+ef-septuagesima-3-monday = Monday of the 3rd Week of Septuagesimatide
+ef-septuagesima-3-tuesday = Tuesday of the 3rd Week of Septuagesimatide
+ef-septuagesima-sunday-1 = Septuagesima Sunday
+ef-septuagesima-sunday-2 = Sexagesima Sunday
+ef-septuagesima-sunday-3 = Quinquagesima Sunday
+ef-time-after-epiphany-1-friday = Friday of the 1st Week of the Time after Epiphany
+ef-time-after-epiphany-1-monday = Monday of the 1st Week of the Time after Epiphany
+ef-time-after-epiphany-1-saturday = Our Lady's Saturday Office
+ef-time-after-epiphany-1-thursday = Thursday of the 1st Week of the Time after Epiphany
+ef-time-after-epiphany-1-tuesday = Tuesday of the 1st Week of the Time after Epiphany
+ef-time-after-epiphany-1-wednesday = Wednesday of the 1st Week of the Time after Epiphany
+ef-time-after-epiphany-2-friday = Friday of the 2nd Week of the Time after Epiphany
+ef-time-after-epiphany-2-monday = Monday of the 2nd Week of the Time after Epiphany
+ef-time-after-epiphany-2-thursday = Thursday of the 2nd Week of the Time after Epiphany
+ef-time-after-epiphany-2-tuesday = Tuesday of the 2nd Week of the Time after Epiphany
+ef-time-after-epiphany-2-wednesday = Wednesday of the 2nd Week of the Time after Epiphany
+ef-time-after-epiphany-4-friday = Friday of the 4th Week of the Time after Epiphany
+ef-time-after-epiphany-4-monday = Monday of the 4th Week of the Time after Epiphany
+ef-time-after-epiphany-4-thursday = Thursday of the 4th Week of the Time after Epiphany
+ef-time-after-epiphany-4-wednesday = Wednesday of the 4th Week of the Time after Epiphany
+ef-time-after-epiphany-5-friday = Friday of the 5th Week of the Time after Epiphany
+ef-time-after-epiphany-5-saturday = Our Lady's Saturday Office
+ef-time-after-epiphany-5-thursday = Thursday of the 5th Week of the Time after Epiphany
+ef-time-after-epiphany-5-wednesday = Wednesday of the 5th Week of the Time after Epiphany
+ef-time-after-epiphany-6-friday = Friday of the 6th Week of the Time after Epiphany
+ef-time-after-epiphany-6-monday = Monday of the 6th Week of the Time after Epiphany
+ef-time-after-epiphany-6-saturday = Our Lady's Saturday Office
+ef-time-after-epiphany-6-thursday = Thursday of the 6th Week of the Time after Epiphany
+ef-time-after-epiphany-6-tuesday = Tuesday of the 6th Week of the Time after Epiphany
+ef-time-after-epiphany-6-wednesday = Wednesday of the 6th Week of the Time after Epiphany
+ef-time-after-epiphany-sunday-1 = The Holy Family
+ef-time-after-epiphany-sunday-2 = 2nd Sunday after Epiphany
+ef-time-after-epiphany-sunday-3 = 3rd Sunday after Epiphany
+ef-time-after-epiphany-sunday-4 = 4th Sunday after Epiphany
+ef-time-after-epiphany-sunday-5 = 5th Sunday after Epiphany
+ef-time-after-epiphany-sunday-6 = 6th Sunday after Epiphany
+ef-time-after-pentecost-1-friday = Friday of the 1st Week of the Time after Pentecost
+ef-time-after-pentecost-1-monday = Monday of the 1st Week of the Time after Pentecost
+ef-time-after-pentecost-1-saturday = Our Lady's Saturday Office
+ef-time-after-pentecost-1-tuesday = Tuesday of the 1st Week of the Time after Pentecost
+ef-time-after-pentecost-1-wednesday = Wednesday of the 1st Week of the Time after Pentecost
+ef-time-after-pentecost-10-friday = Friday of the 10th Week of the Time after Pentecost
+ef-time-after-pentecost-10-monday = Monday of the 10th Week of the Time after Pentecost
+ef-time-after-pentecost-10-saturday = Our Lady's Saturday Office
+ef-time-after-pentecost-10-thursday = Thursday of the 10th Week of the Time after Pentecost
+ef-time-after-pentecost-10-tuesday = Tuesday of the 10th Week of the Time after Pentecost
+ef-time-after-pentecost-10-wednesday = Wednesday of the 10th Week of the Time after Pentecost
+ef-time-after-pentecost-11-friday = Friday of the 11th Week of the Time after Pentecost
+ef-time-after-pentecost-11-monday = Monday of the 11th Week of the Time after Pentecost
+ef-time-after-pentecost-11-saturday = Our Lady's Saturday Office
+ef-time-after-pentecost-11-thursday = Thursday of the 11th Week of the Time after Pentecost
+ef-time-after-pentecost-11-tuesday = Tuesday of the 11th Week of the Time after Pentecost
+ef-time-after-pentecost-11-wednesday = Wednesday of the 11th Week of the Time after Pentecost
+ef-time-after-pentecost-12-friday = Friday of the 12th Week of the Time after Pentecost
+ef-time-after-pentecost-12-monday = Monday of the 12th Week of the Time after Pentecost
+ef-time-after-pentecost-12-saturday = Our Lady's Saturday Office
+ef-time-after-pentecost-12-thursday = Thursday of the 12th Week of the Time after Pentecost
+ef-time-after-pentecost-12-tuesday = Tuesday of the 12th Week of the Time after Pentecost
+ef-time-after-pentecost-12-wednesday = Wednesday of the 12th Week of the Time after Pentecost
+ef-time-after-pentecost-13-friday = Friday of the 13th Week of the Time after Pentecost
+ef-time-after-pentecost-13-monday = Monday of the 13th Week of the Time after Pentecost
+ef-time-after-pentecost-13-saturday = Our Lady's Saturday Office
+ef-time-after-pentecost-13-thursday = Thursday of the 13th Week of the Time after Pentecost
+ef-time-after-pentecost-13-tuesday = Tuesday of the 13th Week of the Time after Pentecost
+ef-time-after-pentecost-13-wednesday = Wednesday of the 13th Week of the Time after Pentecost
+ef-time-after-pentecost-14-friday = Friday of the 14th Week of the Time after Pentecost
+ef-time-after-pentecost-14-monday = Monday of the 14th Week of the Time after Pentecost
+ef-time-after-pentecost-14-saturday = Our Lady's Saturday Office
+ef-time-after-pentecost-14-thursday = Thursday of the 14th Week of the Time after Pentecost
+ef-time-after-pentecost-14-tuesday = Tuesday of the 14th Week of the Time after Pentecost
+ef-time-after-pentecost-14-wednesday = Wednesday of the 14th Week of the Time after Pentecost
+ef-time-after-pentecost-15-friday = Friday of the 15th Week of the Time after Pentecost
+ef-time-after-pentecost-15-monday = Monday of the 15th Week of the Time after Pentecost
+ef-time-after-pentecost-15-saturday = Our Lady's Saturday Office
+ef-time-after-pentecost-15-thursday = Thursday of the 15th Week of the Time after Pentecost
+ef-time-after-pentecost-15-tuesday = Tuesday of the 15th Week of the Time after Pentecost
+ef-time-after-pentecost-15-wednesday = Wednesday of the 15th Week of the Time after Pentecost
+ef-time-after-pentecost-16-friday = Friday of the 16th Week of the Time after Pentecost
+ef-time-after-pentecost-16-monday = Monday of the 16th Week of the Time after Pentecost
+ef-time-after-pentecost-16-saturday = Our Lady's Saturday Office
+ef-time-after-pentecost-16-thursday = Thursday of the 16th Week of the Time after Pentecost
+ef-time-after-pentecost-16-tuesday = Tuesday of the 16th Week of the Time after Pentecost
+ef-time-after-pentecost-16-wednesday = Wednesday of the 16th Week of the Time after Pentecost
+ef-time-after-pentecost-17-friday = Friday of the 17th Week of the Time after Pentecost
+ef-time-after-pentecost-17-monday = Monday of the 17th Week of the Time after Pentecost
+ef-time-after-pentecost-17-saturday = Our Lady's Saturday Office
+ef-time-after-pentecost-17-thursday = Thursday of the 17th Week of the Time after Pentecost
+ef-time-after-pentecost-17-tuesday = Tuesday of the 17th Week of the Time after Pentecost
+ef-time-after-pentecost-17-wednesday = Wednesday of the 17th Week of the Time after Pentecost
+ef-time-after-pentecost-18-friday = Friday of the 18th Week of the Time after Pentecost
+ef-time-after-pentecost-18-monday = Monday of the 18th Week of the Time after Pentecost
+ef-time-after-pentecost-18-thursday = Thursday of the 18th Week of the Time after Pentecost
+ef-time-after-pentecost-18-tuesday = Tuesday of the 18th Week of the Time after Pentecost
+ef-time-after-pentecost-18-wednesday = Wednesday of the 18th Week of the Time after Pentecost
+ef-time-after-pentecost-19-friday = Friday of the 19th Week of the Time after Pentecost
+ef-time-after-pentecost-19-monday = Monday of the 19th Week of the Time after Pentecost
+ef-time-after-pentecost-19-saturday = Our Lady's Saturday Office
+ef-time-after-pentecost-19-thursday = Thursday of the 19th Week of the Time after Pentecost
+ef-time-after-pentecost-19-tuesday = Tuesday of the 19th Week of the Time after Pentecost
+ef-time-after-pentecost-19-wednesday = Wednesday of the 19th Week of the Time after Pentecost
+ef-time-after-pentecost-2-monday = Monday of the 2nd Week of the Time after Pentecost
+ef-time-after-pentecost-2-saturday = Our Lady's Saturday Office
+ef-time-after-pentecost-2-thursday = Thursday of the 2nd Week of the Time after Pentecost
+ef-time-after-pentecost-2-tuesday = Tuesday of the 2nd Week of the Time after Pentecost
+ef-time-after-pentecost-2-wednesday = Wednesday of the 2nd Week of the Time after Pentecost
+ef-time-after-pentecost-20-friday = Friday of the 20th Week of the Time after Pentecost
+ef-time-after-pentecost-20-monday = Monday of the 20th Week of the Time after Pentecost
+ef-time-after-pentecost-20-saturday = Our Lady's Saturday Office
+ef-time-after-pentecost-20-thursday = Thursday of the 20th Week of the Time after Pentecost
+ef-time-after-pentecost-20-tuesday = Tuesday of the 20th Week of the Time after Pentecost
+ef-time-after-pentecost-20-wednesday = Wednesday of the 20th Week of the Time after Pentecost
+ef-time-after-pentecost-21-friday = Friday of the 21st Week of the Time after Pentecost
+ef-time-after-pentecost-21-monday = Monday of the 21st Week of the Time after Pentecost
+ef-time-after-pentecost-21-saturday = Our Lady's Saturday Office
+ef-time-after-pentecost-21-thursday = Thursday of the 21st Week of the Time after Pentecost
+ef-time-after-pentecost-21-tuesday = Tuesday of the 21st Week of the Time after Pentecost
+ef-time-after-pentecost-21-wednesday = Wednesday of the 21st Week of the Time after Pentecost
+ef-time-after-pentecost-22-friday = Friday of the 22nd Week of the Time after Pentecost
+ef-time-after-pentecost-22-monday = Monday of the 22nd Week of the Time after Pentecost
+ef-time-after-pentecost-22-saturday = Our Lady's Saturday Office
+ef-time-after-pentecost-22-thursday = Thursday of the 22nd Week of the Time after Pentecost
+ef-time-after-pentecost-22-tuesday = Tuesday of the 22nd Week of the Time after Pentecost
+ef-time-after-pentecost-22-wednesday = Wednesday of the 22nd Week of the Time after Pentecost
+ef-time-after-pentecost-23-friday = Friday of the 23rd Week of the Time after Pentecost
+ef-time-after-pentecost-23-monday = Monday of the 23rd Week of the Time after Pentecost
+ef-time-after-pentecost-23-saturday = Our Lady's Saturday Office
+ef-time-after-pentecost-23-thursday = Thursday of the 23rd Week of the Time after Pentecost
+ef-time-after-pentecost-23-tuesday = Tuesday of the 23rd Week of the Time after Pentecost
+ef-time-after-pentecost-23-wednesday = Wednesday of the 23rd Week of the Time after Pentecost
+ef-time-after-pentecost-24-friday = Friday of the 24th Week of the Time after Pentecost
+ef-time-after-pentecost-24-monday = Monday of the 24th Week of the Time after Pentecost
+ef-time-after-pentecost-24-saturday = Our Lady's Saturday Office
+ef-time-after-pentecost-24-thursday = Thursday of the 24th Week of the Time after Pentecost
+ef-time-after-pentecost-24-tuesday = Tuesday of the 24th Week of the Time after Pentecost
+ef-time-after-pentecost-24-wednesday = Wednesday of the 24th Week of the Time after Pentecost
+ef-time-after-pentecost-25-friday = Friday of the 25th Week of the Time after Pentecost
+ef-time-after-pentecost-25-monday = Monday of the 25th Week of the Time after Pentecost
+ef-time-after-pentecost-25-saturday = Our Lady's Saturday Office
+ef-time-after-pentecost-25-thursday = Thursday of the 25th Week of the Time after Pentecost
+ef-time-after-pentecost-25-tuesday = Tuesday of the 25th Week of the Time after Pentecost
+ef-time-after-pentecost-25-wednesday = Wednesday of the 25th Week of the Time after Pentecost
+ef-time-after-pentecost-26-friday = Friday of the 26th Week of the Time after Pentecost
+ef-time-after-pentecost-26-monday = Monday of the 26th Week of the Time after Pentecost
+ef-time-after-pentecost-26-saturday = Our Lady's Saturday Office
+ef-time-after-pentecost-26-thursday = Thursday of the 26th Week of the Time after Pentecost
+ef-time-after-pentecost-26-tuesday = Tuesday of the 26th Week of the Time after Pentecost
+ef-time-after-pentecost-26-wednesday = Wednesday of the 26th Week of the Time after Pentecost
+ef-time-after-pentecost-27-friday = Friday of the 27th Week of the Time after Pentecost
+ef-time-after-pentecost-27-saturday = Our Lady's Saturday Office
+ef-time-after-pentecost-27-thursday = Thursday of the 27th Week of the Time after Pentecost
+ef-time-after-pentecost-27-tuesday = Tuesday of the 27th Week of the Time after Pentecost
+ef-time-after-pentecost-27-wednesday = Wednesday of the 27th Week of the Time after Pentecost
+ef-time-after-pentecost-28-saturday = Our Lady's Saturday Office
+ef-time-after-pentecost-28-thursday = Thursday of the 28th Week of the Time after Pentecost
+ef-time-after-pentecost-28-tuesday = Tuesday of the 28th Week of the Time after Pentecost
+ef-time-after-pentecost-28-wednesday = Wednesday of the 28th Week of the Time after Pentecost
+ef-time-after-pentecost-3-friday = Friday of the 3rd Week of the Time after Pentecost
+ef-time-after-pentecost-3-monday = Monday of the 3rd Week of the Time after Pentecost
+ef-time-after-pentecost-3-saturday = Our Lady's Saturday Office
+ef-time-after-pentecost-3-thursday = Thursday of the 3rd Week of the Time after Pentecost
+ef-time-after-pentecost-3-tuesday = Tuesday of the 3rd Week of the Time after Pentecost
+ef-time-after-pentecost-3-wednesday = Wednesday of the 3rd Week of the Time after Pentecost
+ef-time-after-pentecost-4-friday = Friday of the 4th Week of the Time after Pentecost
+ef-time-after-pentecost-4-monday = Monday of the 4th Week of the Time after Pentecost
+ef-time-after-pentecost-4-saturday = Our Lady's Saturday Office
+ef-time-after-pentecost-4-thursday = Thursday of the 4th Week of the Time after Pentecost
+ef-time-after-pentecost-4-tuesday = Tuesday of the 4th Week of the Time after Pentecost
+ef-time-after-pentecost-4-wednesday = Wednesday of the 4th Week of the Time after Pentecost
+ef-time-after-pentecost-5-friday = Friday of the 5th Week of the Time after Pentecost
+ef-time-after-pentecost-5-monday = Monday of the 5th Week of the Time after Pentecost
+ef-time-after-pentecost-5-saturday = Our Lady's Saturday Office
+ef-time-after-pentecost-5-thursday = Thursday of the 5th Week of the Time after Pentecost
+ef-time-after-pentecost-5-tuesday = Tuesday of the 5th Week of the Time after Pentecost
+ef-time-after-pentecost-5-wednesday = Wednesday of the 5th Week of the Time after Pentecost
+ef-time-after-pentecost-6-friday = Friday of the 6th Week of the Time after Pentecost
+ef-time-after-pentecost-6-monday = Monday of the 6th Week of the Time after Pentecost
+ef-time-after-pentecost-6-saturday = Our Lady's Saturday Office
+ef-time-after-pentecost-6-thursday = Thursday of the 6th Week of the Time after Pentecost
+ef-time-after-pentecost-6-tuesday = Tuesday of the 6th Week of the Time after Pentecost
+ef-time-after-pentecost-6-wednesday = Wednesday of the 6th Week of the Time after Pentecost
+ef-time-after-pentecost-7-friday = Friday of the 7th Week of the Time after Pentecost
+ef-time-after-pentecost-7-monday = Monday of the 7th Week of the Time after Pentecost
+ef-time-after-pentecost-7-saturday = Our Lady's Saturday Office
+ef-time-after-pentecost-7-thursday = Thursday of the 7th Week of the Time after Pentecost
+ef-time-after-pentecost-7-tuesday = Tuesday of the 7th Week of the Time after Pentecost
+ef-time-after-pentecost-7-wednesday = Wednesday of the 7th Week of the Time after Pentecost
+ef-time-after-pentecost-8-friday = Friday of the 8th Week of the Time after Pentecost
+ef-time-after-pentecost-8-monday = Monday of the 8th Week of the Time after Pentecost
+ef-time-after-pentecost-8-saturday = Our Lady's Saturday Office
+ef-time-after-pentecost-8-thursday = Thursday of the 8th Week of the Time after Pentecost
+ef-time-after-pentecost-8-tuesday = Tuesday of the 8th Week of the Time after Pentecost
+ef-time-after-pentecost-8-wednesday = Wednesday of the 8th Week of the Time after Pentecost
+ef-time-after-pentecost-9-friday = Friday of the 9th Week of the Time after Pentecost
+ef-time-after-pentecost-9-monday = Monday of the 9th Week of the Time after Pentecost
+ef-time-after-pentecost-9-saturday = Our Lady's Saturday Office
+ef-time-after-pentecost-9-thursday = Thursday of the 9th Week of the Time after Pentecost
+ef-time-after-pentecost-9-tuesday = Tuesday of the 9th Week of the Time after Pentecost
+ef-time-after-pentecost-9-wednesday = Wednesday of the 9th Week of the Time after Pentecost
+ef-time-after-pentecost-sunday-10 = 10th Sunday after Pentecost
+ef-time-after-pentecost-sunday-11 = 11th Sunday after Pentecost
+ef-time-after-pentecost-sunday-12 = 12th Sunday after Pentecost
+ef-time-after-pentecost-sunday-13 = 13th Sunday after Pentecost
+ef-time-after-pentecost-sunday-14 = 14th Sunday after Pentecost
+ef-time-after-pentecost-sunday-15 = 15th Sunday after Pentecost
+ef-time-after-pentecost-sunday-16 = 16th Sunday after Pentecost
+ef-time-after-pentecost-sunday-17 = 17th Sunday after Pentecost
+ef-time-after-pentecost-sunday-18 = 18th Sunday after Pentecost
+ef-time-after-pentecost-sunday-19 = 19th Sunday after Pentecost
+ef-time-after-pentecost-sunday-2 = 2nd Sunday after Pentecost
+ef-time-after-pentecost-sunday-20 = 20th Sunday after Pentecost
+ef-time-after-pentecost-sunday-21 = 21st Sunday after Pentecost
+ef-time-after-pentecost-sunday-22 = 22nd Sunday after Pentecost
+ef-time-after-pentecost-sunday-23 = 23rd Sunday after Pentecost
+ef-time-after-pentecost-sunday-24 = 24th and Last Sunday after Pentecost
+ef-time-after-pentecost-sunday-3 = 3rd Sunday after Pentecost
+ef-time-after-pentecost-sunday-4 = 4th Sunday after Pentecost
+ef-time-after-pentecost-sunday-5 = 5th Sunday after Pentecost
+ef-time-after-pentecost-sunday-6 = 6th Sunday after Pentecost
+ef-time-after-pentecost-sunday-7 = 7th Sunday after Pentecost
+ef-time-after-pentecost-sunday-8 = 8th Sunday after Pentecost
+ef-time-after-pentecost-sunday-9 = 9th Sunday after Pentecost
+ef-trinity = Trinity Sunday
+
+; --- Sanctoral (214 slugs, 2020-2045 measured), extracted verbatim from
+; data/ef/sanctoral.sexp's own English `en` names (already scan-verified
+; against missalemeum's own title text -- see the project's register,
+; §6.1) via `colitur table`, not retyped. ---
+agatha = St. Agatha
+agnes = St. Agnes
+albert-the-great = St. Albert the Great
+all-saints = All Saints
+aloysius-gongzaga = St. Aloysius Gongzaga
+alphonsus-liguori = St. Alphonsus Liguori
+ambrose = St. Ambrose
+andrew-avellino = St. Andrew Avellino
+andrew-corsini = St. Andrew Corsini
+andrew = St. Andrew
+angela-merici = St. Angela Merici
+anne-mother-of-the-blessed-virgin = St. Anne, Mother of the Blessed Virgin
+annunciation-of-the-blessed-virgin-mary = Annunciation of the Blessed Virgin Mary
+anselm = St. Anselm
+anthony-mary-claret = St. Anthony Mary Claret
+anthony-mary-zaccariah = St. Anthony Mary Zaccariah
+anthony-of-padua = St. Anthony of Padua
+anthony = St. Anthony
+antoninus = St. Antoninus
+apollinaris = St. Apollinaris
+assumption-of-the-blessed-virgin-mary = Assumption of the Blessed Virgin Mary
+athanasius = St. Athanasius
+augustine-of-canterbury = St. Augustine of Canterbury
+augustine = St. Augustine
+barnabas = St. Barnabas
+bartholomew = St. Bartholomew
+basil-the-great = St. Basil the Great
+bede-the-venerable = St. Bede the Venerable
+beheading-of-st-john-the-baptist = Beheading of St. John the Baptist
+bernardine-of-siena = St. Bernardine of Siena
+bernard-of-clairvaux = St. Bernard of Clairvaux
+bonaventure = St. Bonaventure
+boniface = St. Boniface
+bridget-of-sweden = St. Bridget of Sweden
+bruno = St. Bruno
+cajetan = St. Cajetan
+callistus-i = St. Callistus I
+camillus-de-lellis = Camillus de Lellis
+casimir = St. Casimir
+catherine-of-alexandria = St. Catherine of Alexandria
+catherine-of-siena = St. Catherine of Siena
+cecilia = St. Cecilia
+chair-of-st-peter = Chair of St. Peter
+charles-borromeo = St. Charles Borromeo
+clare = St. Clare
+clement-i = St. Clement I
+commemoration-of-all-souls = Commemoration of All Souls
+commemoration-of-the-baptism-of-the-lord = Commemoration of the Baptism of the Lord
+conversion-of-st-paul = Conversion of St. Paul
+cyril-of-alexandria = St. Cyril of Alexandria
+damasus-i = St. Damasus I
+dedication-of-st-michael-the-archangel = Dedication of St. Michael the Archangel
+dedication-of-the-archbasilica-of-our-holy-savior = Dedication of the Archbasilica of Our Holy Savior
+dedication-of-the-basilica-of-st-mary-major = Dedication of the Basilica of St. Mary Major
+dedication-of-the-basilicas-of-sts-peter-paul = Dedication of the Basilicas of Sts. Peter & Paul
+didacus = St. Didacus
+dominic = St. Dominic
+edward = St. Edward
+elizabeth-of-hungary = St. Elizabeth of Hungary
+elizabeth-of-portugal = St. Elizabeth of Portugal
+ephrem-of-syria = St. Ephrem of Syria
+eusebius = St. Eusebius
+exaltation-of-the-holy-cross = Exaltation of the Holy Cross
+felix-of-valois = St. Felix of Valois
+fidelis-of-sigmaringen = St. Fidelis of Sigmaringen
+frances-rome = St. Frances Rome
+francis-borgia = St. Francis Borgia
+francis-caracciolo = St. Francis Caracciolo
+francis-de-sales = St. Francis de Sales
+francis-of-assisi = St. Francis of Assisi
+francis-xavier = St. Francis Xavier
+gabriel-of-our-lady-of-sorrows = St. Gabriel of Our Lady of Sorrows
+gertrude-the-great = St. Gertrude the Great
+gregory-barbarigo = St. Gregory Barbarigo
+gregory-of-nazianzen = St. Gregory of Nazianzen
+gregory-the-wonderworker = St. Gregory the Wonderworker
+gregory-vii = St. Gregory VII
+hedwig = St. Hedwig
+henry-the-emperor = St. Henry the Emperor
+hermenegild = St. Hermenegild
+hilary = St. Hilary
+holy-guardian-angels = Holy Guardian Angels
+holy-innocents = Holy Innocents
+hyacinth = St. Hyacinth
+ignatius-loyola = St. Ignatius Loyola
+ignatius-of-antioch = St. Ignatius of Antioch
+immaculate-conception-of-the-blessed-virgin-mary = Immaculate Conception of the Blessed Virgin Mary
+immaculate-heart-of-mary = Immaculate Heart of Mary
+in-commemoratione-sancti-pauli-apostoli = In Commemoratione Sancti Pauli Apostoli
+irenaeus = St. Irenaeus
+isidore-of-seville = St. Isidore of Seville
+james-the-greater = St. James the Greater
+jane-frances-de-chantal = St. Jane Frances de Chantal
+januarius-companions = St. Januarius & Companions
+jerome-emiliani = St. Jerome Emiliani
+jerome = St. Jerome
+joachim-father-of-the-blessed-virgin = St. Joachim, Father of the Blessed Virgin
+john-baptist-de-la-salle = St. John Baptist de la Salle
+john-bosco = St. John Bosco
+john-cantius = St. John Cantius
+john-chrysostom = St. John Chrysostom
+john-eudes = St. John Eudes
+john-gualbert = St. John Gualbert
+john-leonardi = St. John Leonardi
+john-mary-vianney = St. John Mary Vianney
+john-of-god = St. John of God
+john-of-matha = St. John of Matha
+john-of-san-fecundo = St. John of San Fecundo
+john-of-the-cross = St. John of the Cross
+john-the-evangelist = St. John the Evangelist
+josaphat = St. Josaphat
+joseph-calasance = St. Joseph Calasance
+joseph-of-cupertino = St. Joseph of Cupertino
+joseph-spouse-of-the-bl-virgin-mary = St. Joseph, Spouse of the Bl. Virgin Mary
+joseph-the-workman = St. Joseph the Workman
+julia-of-falconieri = St. Julia of Falconieri
+justin = St. Justin
+laurence-of-brindisi = St. Laurence of Brindisi
+lawrence-justinian = St. Lawrence Justinian
+lawrence = St. Lawrence
+leo-the-great = St. Leo the Great
+linus = St. Linus
+louis-ix = St. Louis IX
+lucy = St. Lucy
+luke-the-evangelist = St. Luke the Evangelist
+marcellus-i = St. Marcellus I
+margaret-mary-alacoque = St. Margaret Mary Alacoque
+margaret-of-scotland = St. Margaret of Scotland
+mark = St. Mark
+martha = St. Martha
+martina = St. Martina
+martin-i = St. Martin I
+martin-of-tours = St. Martin of Tours
+mary-magdalene-de-pazzi = St. Mary Magdalene de Pazzi
+mary-magdalene = St. Mary Magdalene
+maternity-of-the-blessed-virgin-mary = Maternity of the Blessed Virgin Mary
+matthew = St. Matthew
+matthias = St. Matthias
+monica = St. Monica
+most-holy-name-of-mary = Most Holy Name of Mary
+nativity-of-st-john-the-baptist = Nativity of St. John the Baptist
+nativity-of-the-blessed-virgin-mary = Nativity of the Blessed Virgin Mary
+nicholas-of-tolentino = St. Nicholas of Tolentino
+nicholas = St. Nicholas
+norbert = St. Norbert
+our-lady-of-lourdes = Our Lady of Lourdes
+our-lady-of-the-rosary = Our Lady of the Rosary
+paschal-baylon = St. Paschal Baylon
+paulinus-of-nola = St. Paulinus of Nola
+paul-of-the-cross = St. Paul of the Cross
+paul-the-first-hermit = St. Paul, the First Hermit
+peter-canisius = St. Peter Canisius
+peter-celestine = St. Peter Celestine
+peter-chrysologus = St. Peter Chrysologus
+peter-damien = St. Peter Damien
+peter-nolasco = St. Peter Nolasco
+peter-of-alcantara = St. Peter of Alcantara
+peter-of-verona = St. Peter of Verona
+philip-benizi = St. Philip Benizi
+philip-neri = St. Philip Neri
+pius-v = St. Pius V
+pius-x = St. Pius X
+polycarp = St. Polycarp
+precious-blood-of-our-lord-jesus-christ = The Precious Blood of Our Lord Jesus Christ
+presentation-of-the-blessed-virgin-mary = Presentation of the Blessed Virgin Mary
+purification-of-the-blessed-virgin-mary = Purification of the Blessed Virgin Mary
+queenship-of-the-blessed-virgin-mary = Queenship of the Blessed Virgin Mary
+raphael-the-archangel = St. Raphael the Archangel
+raymond-nonnatus = St. Raymond Nonnatus
+raymond-of-pe-afort = St. Raymond of Peñafort
+robert-bellarmine = St. Robert Bellarmine
+romuald = St. Romuald
+rose-of-lima = St. Rose of Lima
+scholastica = St. Scholastica
+seven-holy-brothers-and-sts-rufina-secunda = Seven Holy Brothers and Sts. Rufina & Secunda
+seven-holy-servite-founders = Seven Holy Servite Founders
+seven-sorrows-of-the-blessed-virgin-mary = Seven Sorrows of the Blessed Virgin Mary
+stanislaus = St. Stanislaus
+stephen-of-hungary = St. Stephen of Hungary
+stephen = St. Stephen
+sts-cletus-marcellinus = Sts. Cletus & Marcellinus
+sts-cornelius-cyprian = Sts. Cornelius & Cyprian
+sts-cosmas-damian = Sts. Cosmas & Damian
+sts-cyril-methodius = Sts. Cyril & Methodius
+sts-fabian-sebastian = Sts. Fabian & Sebastian
+sts-felicitas-perpetua = Sts. Felicitas & Perpetua
+sts-john-paul = Sts. John & Paul
+sts-nazarius-celsus-st-victor-i-st-innocent-i = Sts. Nazarius & Celsus, St. Victor I & St. Innocent I
+sts-nereus-achilleus-domitilla-pancras = Sts. Nereus, Achilleus, Domitilla, & Pancras
+sts-peter-paul = Sts. Peter & Paul
+sts-philip-james = Sts. Philip & James
+sts-simon-jude = Sts. Simon & Jude
+sts-soter-caius = Sts. Soter & Caius
+sts-vincent-anastasius = Sts. Vincent & Anastasius
+sylvester = St. Sylvester
+teresa-of-avila = St. Teresa of Avila
+theresa-of-the-infant-jesus = St. Theresa of the Infant Jesus
+thomas-of-villanova = St. Thomas of Villanova
+thomas = St. Thomas
+timothy = St. Timothy
+titus = St. Titus
+transfiguration-of-our-lord = Transfiguration of Our Lord
+ubaldus = St. Ubaldus
+venantius = St. Venantius
+vigil-of-st-lawrence = Vigil of St. Lawrence
+vigil-of-sts-peter-paul = Vigil of Sts. Peter & Paul
+vigil-of-the-assumption = Vigil of the Assumption
+vigil-of-the-nativity-of-st-john-the-baptist = Vigil of the Nativity of St. John the Baptist
+vincent-de-paul = St. Vincent de Paul
+vincent-ferrer = St. Vincent Ferrer
+visitation-of-the-blessed-virgin-mary = Visitation of the Blessed Virgin Mary
+vivian = St. Vivian
+wenceslaus = St. Wenceslaus
+william = St. William