In #133 we discussed that some people might want the copybutton image to be configurable. For example, provide a local SVG and use that for the copybutton image on the website. @pradyunsg suggested that we wait to see if we get a signal from users that this is something they'd want to have.

Actions

• Wait a few months to see if anybody asks to change the copybutton image back, or more generally for configurability.
• Decide if we want to support this after a few months
• ...figure out next steps to take