Sources for the interactive logging example on our website