Make Felipe's session code the default (#415)