Adds additional launchers to info.rkt