add an smc=salvus alias (still undocumented, since nothing is really documented)
add an smc=salvus alias (still undocumented, since nothing is really documented)

DrXyzzy/smc,tscholl2/smc,sagemathinc/smc,tscholl2/smc,sagemathinc/smc,tscholl2/smc,DrXyzzy/smc,tscholl2/smc,DrXyzzy/smc,DrXyzzy/smc,sagemathinc/smc,tscholl2/smc,sagemathinc/smc