As discussed in #2286, the changelog file often ends up with invalid markdown. We should add a CI check to ensure that it remains valid.