Redex PDF output contains a wrong font, while Racket REPL renders the correct font about redex HOT 2 OPEN

(define p (text "READ WRITE" (cons (cons 'weight 'heavy) "Source Code Pro")))

#lang racket
(require pict racket/gui/base)

(define p (text "READ WRITE" "Source Code Pro"))
p

(define ps-setup (make-object ps-setup%))
(send ps-setup copy-from (current-ps-setup))
(send ps-setup set-file "commonlang.pdf")
(send ps-setup set-mode 'file)
(define ps/pdf-dc
  (parameterize ([current-ps-setup ps-setup])
    (make-object pdf-dc% #f #f)))
(parameterize ([dc-for-text-size ps/pdf-dc])
  (send ps/pdf-dc start-doc "x")
  (send ps/pdf-dc start-page)
  (draw-pict p ps/pdf-dc 0 0)
  (send ps/pdf-dc end-page)
  (send ps/pdf-dc end-doc))

#lang racket
(require racket/gui/base)

;; changing this doesn't seem to affect the PDF output
;; but it does affect the window output
(define weight 500)

(define (write-it f)
  (define ps-setup (make-object ps-setup%))
  (send ps-setup copy-from (current-ps-setup))
  (send ps-setup set-file "commonlang.pdf")
  (send ps-setup set-mode 'file)
  (define ps/pdf-dc
    (parameterize ([current-ps-setup ps-setup])
      (make-object pdf-dc% #f #f)))
  (send ps/pdf-dc start-doc "x")
  (send ps/pdf-dc start-page)
  (f ps/pdf-dc)
  (send ps/pdf-dc end-page)
  (send ps/pdf-dc end-doc))

(define (draw dc)
  (define font (send dc get-font))
  (send dc set-font
        (send the-font-list find-or-create-font 12 "Source Code Pro"
              'default 'normal weight
              #f 'default #t 'unaligned))
  (send dc draw-text "READ WRITE" 10 10)
  (send dc set-font font))
(write-it draw)

(define f (new frame% [label ""] [width 200] [height 200]))
(define c (new canvas% [parent f] [paint-callback (λ (c dc) (draw dc))]))
(send f show #t)