How to set up internal logging

^{Last update: 15 March 2023}