Should there be a header feature? — LessWrong