I think it's fair to say that sagenb.org is not the standard user of sagenb, and so defaults should be catered more to individual users than to sagenb.org.