[2023] Beyond Ctrl-C the dark corners of Unix signal handling