Many thanks! I have added it to the article in due form now.

An interesting aspect of waitid is that it allows you to access the full exit code of the process (i.e., the entire int instead of just the bottom 8 bits).

Unfortunately, many operating systems implement waitid() on top of one of the older APIs, meaning the top bits get lost regardless…