We already use syn"e elsewhere (transitively), so it make sense to cut down on the number of technologies and get rid of tera
We already use syn"e elsewhere (transitively), so it make sense to cut down on the number of technologies and get rid of tera