<div dir="ltr"><div>Hi, </div><div>looking through the source I've noticed the module browser is not a tool, I'm guessing this is because it preceded the introduction of the plugins mechanism? </div><div><br></div>
<div style>Check Syntax is a tool, but insert-large-letters.rkt and get-defn's are not?</div><div style><br></div><div style>is there a defined criteria? or is the arrangement historic/</div><div style><br></div><div style>
Kind Regards, </div><div style><br></div><div style>Stephen</div><div><div dir="ltr"><div><br></div></div></div>
</div>