Of course they use Org mode.