Back in my day, RPI used to have alum shell accounts, but they quickly got rid of those and then quickly moved to just forwarding the alum email address somewhe

Back in my day, RPI used to have alum shell accounts, but they quickly got rid of those and then quickly moved to just forwarding the alum email address somewhere else. I have no idea what they do now, but the feeling is mutual at this point.