<div dir="ltr"><div>Is there something similar to the `install-collection' field in info.rkt but for package installation instead of collection installation?<br><br>In particular, I'd like to run some interaction with the user to create some default files.<br>

<br></div>Laurent<br></div>