I'd like to add another point, between 8 and 9 (with the same date as 8):

• fedora-repos update with the new keys is available in updates-testing (for all releases)

+1 with zbyszek's addendum.

LGTM but I'm curious, why is the release in late April instead of the usual early May?

We discussed this doing todays' FESCo meeting (2019-08-19):
AGREED: Approved (with the gpg keys addendum). Schedule is assumed to apply forever until changed. (+7, 0, 0)
ACTION: bcotton to add the gpg keys item to the schedule

Added the gpg keys item to the releng schedule two weeks before the branch date.

@catanzaro summarizing my answer to your question from the FESCo meeting:

1. It makes the release schedules more balanced and easier to remember ("3rd Tuesday of $month")
2. Our previous May-ish releases have ranged from April to July. I originally had it set for the 4th Tuesday of April, but that means a slip puts us in May. While it's only a one-week difference, the fact that the month rolls over gives the perception that it's a bigger slip, so there's a marketing aspect to it.