This has (sadly) turned out to be useful in 'adb logcat' debugging, let's leave it in.