SL4 in more legible format — LessWrong