IDE: revised debug logging