`render-reduction-relation` can't render all rules in an extended reduction relation

[florence]

The program

#lang racket
(require redex/reduction-semantics redex/pict)
(define-language L)
(define R1
  (reduction-relation
   L
   (--> number number numbers)))
(define R2
  (extend-reduction-relation
   R1 L
   (--> string string strings)))
(parameterize ([render-reduction-relation-rules '(numbers strings)])
  (render-reduction-relation R2))

Errors with render-reduction-relation: no rule found for label: 'numbers. I would expect to be able to render rules from the relation being extended.

[rfindler]

Redex intentionally does not do this for extended metafunctions and languages because of the way typesetting layout is tied to textual layout.

But perhaps it does make sense for reduction-relations (and judgment-forms).