Subject: [PATCH] gnu: Add r-interactivedisplay.
From: Ricardo Wurmus <[email-masked]>
To: [email-masked]
Date: Fri, 15 Sep 2023 23:23:17 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Thanks for the patch!

This needed a little more work to replace the bundled JavaScript.  You
can see the result in commit cda20190bccf9bd55c264b1084eab8b6499c15cc.

-- 
Ricardo