Full threaddllthomas·This is very interesting. Somewhat related, by far my biggest history-related usability/efficiency win has been to separate out different history files for different contexts.View on HN