Richard wrote (2021-01-18):

 RM> I assume that for some people it sounds very strange to implement an exit
 RM> file semaphore in 2021.

I didn't know that anyone has implemented any new feature in the last couple of years.

 RM> So they don't do it, as they do not see any benefit in it.

Who are they? And why do they see no benefit in anything? ;)

---