In reply to a tweet by glazou:

@glazou may he RIP.