lxpz

I was looking that up and found that in UNIX v6 source code, the field name in kernel source code is u_cdir, which stands for "current directory of (user) process":

https://github.com/yisooan/unix-v6/blob/master/sys/user.h

"Being part of the kernel" is defined as being in the kernel's source code tree. Not all of the kernel's source code is included in a kernel binary, most pieces are compiled as modules that can be loaded at run-time. However many distribution do indeed ship the binaries for most kernel modules so some server distros like Ubuntu server probably do have GPU drivers installed, although they are never loaded.

Have a look at the Genode operating system (genode.org), I think you'll like it!

Then the measure is wrong.

> the prospect of peer-to-peer editing with end-to-end encryption is an exciting one

Have you heard of CryptPad ? Not exactly peer-to-peer but has encryption so that the server sees nothing.

TeXmacs is an awesome graphical editor with full math support, that uses the TeX engine for rendering. It does not use TeX or LaTeX as its primary document structure though. It has many shortcuts for entering math that are really easy to learn and I have sucessfully used it to takes notes during lectures. I also use it as my primary work pad when thinking about complicated proofs.

How common is this, and how can we expect it to evolve ?

This is the first time I hear of a laptop ban on internationnal flights. Any informative links would be appreciated.