drwxr-xr-x   2 edrx edrx   36864 Oct  4 18:41 ./
drwxr-xr-x 312 edrx edrx   40960 Oct  4 18:41 ../
-rw-r--r--   1 edrx edrx   41877 Aug  8  2021 04dia-d.e
-rw-r--r--   1 edrx edrx   46223 Oct  4 18:41 04dia-d.e.html
-rw-r--r--   1 edrx edrx    5727 Aug  8  2021 04lua.e
-rw-r--r--   1 edrx edrx    7884 Oct  4 18:41 04lua.e.html
-rw-r--r--   1 edrx edrx    2415 Oct 22  2021 0x0.e
-rw-r--r--   1 edrx edrx    4834 Oct  4 18:41 0x0.e.html
-rw-r--r--   1 edrx edrx    7810 Nov 13  2021 2021-oficina.e
-rw-r--r--   1 edrx edrx   19181 Oct  4 18:41 2021-oficina.e.html
-rw-r--r--   1 edrx edrx    3827 Aug  8  2021 21.e
-rw-r--r--   1 edrx edrx    6023 Oct  4 18:41 21.e.html
-rw-r--r--   1 edrx edrx    1548 Sep  1  2021 abella.e
-rw-r--r--   1 edrx edrx    2925 Oct  4 18:41 abella.e.html
-rw-r--r--   1 edrx edrx    3921 Aug  8  2021 adwin.e
-rw-r--r--   1 edrx edrx    6230 Oct  4 18:41 adwin.e.html
-rw-r--r--   1 edrx edrx   99403 Nov  1  2024 agda.e
-rw-r--r--   1 edrx edrx  193187 Oct  4 18:41 agda.e.html
-rw-r--r--   1 edrx edrx   26533 Aug  8  2021 alsa.e
-rw-r--r--   1 edrx edrx   53274 Oct  4 18:41 alsa.e.html
-rw-r--r--   1 edrx edrx   64179 Jun 15 01:04 anatocc.e
-rw-r--r--   1 edrx edrx  131839 Oct  4 18:41 anatocc.e.html
-rw-r--r--   1 edrx edrx   10823 Jul  9  2021 andre.e
-rw-r--r--   1 edrx edrx   18025 Oct  4 18:41 andre.e.html
-rw-r--r--   1 edrx edrx   38233 Jun 11 15:05 android.e
-rw-r--r--   1 edrx edrx   87325 Oct  4 18:41 android.e.html
-rw-r--r--   1 edrx edrx    7264 Jan 30  2023 angg.e
-rw-r--r--   1 edrx edrx   14908 Oct  4 18:41 angg.e.html
-rw-r--r--   1 edrx edrx    6826 Oct 20  2021 anggsmil.e
-rw-r--r--   1 edrx edrx    9273 Oct  4 18:41 anggsmil.e.html
-rw-r--r--   1 edrx edrx    9572 Jan 20  2023 apache.e
-rw-r--r--   1 edrx edrx   18069 Oct  4 18:41 apache.e.html
-rw-r--r--   1 edrx edrx   25169 Jun  5 21:12 apl.e
-rw-r--r--   1 edrx edrx   47858 Oct  4 18:41 apl.e.html
-rw-r--r--   1 edrx edrx    3816 Aug  8  2021 apt-cacher.e
-rw-r--r--   1 edrx edrx    8297 Oct  4 18:41 apt-cacher.e.html
-rw-r--r--   1 edrx edrx   60860 Jul 14  2024 apt.e
-rw-r--r--   1 edrx edrx  120525 Oct  4 18:41 apt.e.html
-rw-r--r--   1 edrx edrx    9483 Aug  8  2021 archlinux.e
-rw-r--r--   1 edrx edrx   14207 Oct  4 18:41 archlinux.e.html
-rw-r--r--   1 edrx edrx    8910 Dec 24  2021 arduino.e
-rw-r--r--   1 edrx edrx   18030 Oct  4 18:41 arduino.e.html
-rw-r--r--   1 edrx edrx   22399 Dec  5  2024 arxiv.e
-rw-r--r--   1 edrx edrx   51938 Oct  4 18:41 arxiv.e.html
-rw-r--r--   1 edrx edrx    2316 Jan  8  2022 asciidoc.e
-rw-r--r--   1 edrx edrx    4871 Oct  4 18:41 asciidoc.e.html
-rw-r--r--   1 edrx edrx    3919 Apr 23  2024 asymptote.e
-rw-r--r--   1 edrx edrx    7855 Oct  4 18:41 asymptote.e.html
-rw-r--r--   1 edrx edrx    2681 Mar  9  2024 auctex.e
-rw-r--r--   1 edrx edrx    4878 Oct  4 18:41 auctex.e.html
-rw-r--r--   1 edrx edrx    7150 Apr  4  2024 autoconf.e
-rw-r--r--   1 edrx edrx   15728 Oct  4 18:41 autoconf.e.html
-rw-r--r--   1 edrx edrx    1387 Nov  1  2021 awesome.e
-rw-r--r--   1 edrx edrx    2585 Oct  4 18:41 awesome.e.html
-rw-r--r--   1 edrx edrx   12783 Oct  7  2024 awk.e
-rw-r--r--   1 edrx edrx   31287 Oct  4 18:41 awk.e.html
-rw-r--r--   1 edrx edrx    2023 Aug  8  2021 backup.e
-rw-r--r--   1 edrx edrx    3202 Oct  4 18:41 backup.e.html
-rw-r--r--   1 edrx edrx   41438 Aug  1 00:28 bash.e
-rw-r--r--   1 edrx edrx  102993 Oct  4 18:41 bash.e.html
-rw-r--r--   1 edrx edrx    2480 Jan 11  2024 basic.e
-rw-r--r--   1 edrx edrx    5332 Oct  4 18:41 basic.e.html
-rw-r--r--   1 edrx edrx    1449 Feb 21  2020 bat.e
-rw-r--r--   1 edrx edrx    2668 Oct  4 18:41 bat.e.html
-rw-r--r--   1 edrx edrx    4197 Aug  8  2021 beamer.e
-rw-r--r--   1 edrx edrx    8334 Oct  4 18:41 beamer.e.html
-rw-r--r--   1 edrx edrx    2723 Oct 20  2021 bis.e
-rw-r--r--   1 edrx edrx    4370 Oct  4 18:41 bis.e.html
-rw-r--r--   1 edrx edrx   14458 Dec 26  2024 blender.e
-rw-r--r--   1 edrx edrx   22681 Oct  4 18:41 blender.e.html
-rw-r--r--   1 edrx edrx   66656 Nov  6  2024 blogme.e
-rw-r--r--   1 edrx edrx  136558 Oct  4 18:41 blogme.e.html
-rw-r--r--   1 edrx edrx    2059 Aug  8  2021 bluetooth.e
-rw-r--r--   1 edrx edrx    4404 Oct  4 18:41 bluetooth.e.html
-rw-r--r--   1 edrx edrx    3601 May  8 01:58 bmac.e
-rw-r--r--   1 edrx edrx    7484 Oct  4 18:41 bmac.e.html
-rw-r--r--   1 edrx edrx    8257 Feb 12  2024 bookworm.e
-rw-r--r--   1 edrx edrx   18447 Oct  4 18:41 bookworm.e.html
-rw-r--r--   1 edrx edrx   19830 Aug  8  2021 bootcd.e
-rw-r--r--   1 edrx edrx   31667 Oct  4 18:41 bootcd.e.html
-rw-r--r--   1 edrx edrx   17798 Jun 29  2022 bsd.e
-rw-r--r--   1 edrx edrx   33469 Oct  4 18:41 bsd.e.html
-rw-r--r--   1 edrx edrx    6032 Feb  6  2024 bullseye.e
-rw-r--r--   1 edrx edrx   12998 Oct  4 18:41 bullseye.e.html
-rw-r--r--   1 edrx edrx   10833 Aug  8  2021 busybox.e
-rw-r--r--   1 edrx edrx   19920 Oct  4 18:41 busybox.e.html
-rw-r--r--   1 edrx edrx   10085 Oct  8  2022 cabal.e
-rw-r--r--   1 edrx edrx   25456 Oct  4 18:41 cabal.e.html
-rw-r--r--   1 edrx edrx    5543 Apr 18 20:37 cad.e
-rw-r--r--   1 edrx edrx   10766 Oct  4 18:41 cad.e.html
-rw-r--r--   1 edrx edrx    6354 Sep 25  2024 calc.e
-rw-r--r--   1 edrx edrx   12751 Oct  4 18:41 calc.e.html
-rw-r--r--   1 edrx edrx    4778 Aug 11 16:05 calibre.e
-rw-r--r--   1 edrx edrx    9092 Oct  4 18:41 calibre.e.html
-rw-r--r--   1 edrx edrx   12266 Aug  8  2021 cdd.e
-rw-r--r--   1 edrx edrx   22112 Oct  4 18:41 cdd.e.html
-rw-r--r--   1 edrx edrx   34586 Jan 14  2023 cdrom.e
-rw-r--r--   1 edrx edrx   60256 Oct  4 18:41 cdrom.e.html
-rw-r--r--   1 edrx edrx    3717 Oct 20  2021 cfengine.e
-rw-r--r--   1 edrx edrx    5282 Oct  4 18:41 cfengine.e.html
-rw-r--r--   1 edrx edrx    2399 Feb  7  2021 chalktalk.e
-rw-r--r--   1 edrx edrx    4441 Oct  4 18:41 chalktalk.e.html
-rw-r--r--   1 edrx edrx   23437 Oct  4  2024 charsets.e
-rw-r--r--   1 edrx edrx   40453 Oct  4 18:41 charsets.e.html
-rw-r--r--   1 edrx edrx   14284 Apr  7  2022 chinese.e
-rw-r--r--   1 edrx edrx   24990 Oct  4 18:41 chinese.e.html
-rw-r--r--   1 edrx edrx    9629 Aug  8  2021 chomsky.e
-rw-r--r--   1 edrx edrx   15169 Oct  4 18:41 chomsky.e.html
-rw-r--r--   1 edrx edrx   55203 Dec 14  2024 chrome.e
-rw-r--r--   1 edrx edrx   87240 Oct  4 18:41 chrome.e.html
-rw-r--r--   1 edrx edrx    7643 Oct 21  2021 chroot.e
-rw-r--r--   1 edrx edrx   12980 Oct  4 18:41 chroot.e.html
-rw-r--r--   1 edrx edrx   25981 Oct 21  2021 cipsga.e
-rw-r--r--   1 edrx edrx   38541 Oct  4 18:41 cipsga.e.html
-rw-r--r--   1 edrx edrx    9462 Feb 21  2020 circe.e
-rw-r--r--   1 edrx edrx   17374 Oct  4 18:41 circe.e.html
-rw-r--r--   1 edrx edrx   20385 Jan  6  2024 clock.e
-rw-r--r--   1 edrx edrx   40304 Oct  4 18:41 clock.e.html
-rw-r--r--   1 edrx edrx    6998 Mar  8  2025 clojure.e
-rw-r--r--   1 edrx edrx   12727 Oct  4 18:41 clojure.e.html
-rw-r--r--   1 edrx edrx    4325 Apr 29 21:02 color.e
-rw-r--r--   1 edrx edrx    9792 Oct  4 18:41 color.e.html
-rw-r--r--   1 edrx edrx    2642 Oct 20  2021 conf.e
-rw-r--r--   1 edrx edrx    4342 Oct  4 18:41 conf.e.html
-rw-r--r--   1 edrx edrx   42374 Sep 18 20:56 console.e
-rw-r--r--   1 edrx edrx   81858 Oct  4 18:41 console.e.html
-rw-r--r--   1 edrx edrx    9198 Mar 19  2025 context.e
-rw-r--r--   1 edrx edrx   17501 Oct  4 18:41 context.e.html
-rw-r--r--   1 edrx edrx   77287 Jun 21 17:00 coq.e
-rw-r--r--   1 edrx edrx  140381 Oct  4 18:41 coq.e.html
-rw-r--r--   1 edrx edrx    9470 Oct 21  2021 crim.e
-rw-r--r--   1 edrx edrx   19219 Oct  4 18:41 crim.e.html
-rw-r--r--   1 edrx edrx    2074 Oct 20  2021 cron.e
-rw-r--r--   1 edrx edrx    4353 Oct  4 18:41 cron.e.html
-rw-r--r--   1 edrx edrx    2489 Nov 22  2024 csound.e
-rw-r--r--   1 edrx edrx    4051 Oct  4 18:41 csound.e.html
-rw-r--r--   1 edrx edrx    4859 Sep  8 21:56 css.e
-rw-r--r--   1 edrx edrx   10023 Oct  4 18:41 css.e.html
-rw-r--r--   1 edrx edrx    2613 Jan 31  2023 cuis.e
-rw-r--r--   1 edrx edrx    6166 Oct  4 18:41 cuis.e.html
-rw-r--r--   1 edrx edrx   31227 Jun 16  2024 cvs.e
-rw-r--r--   1 edrx edrx   65836 Oct  4 18:41 cvs.e.html
-rw-r--r--   1 edrx edrx   55537 Aug  8  2021 davinci.e
-rw-r--r--   1 edrx edrx   71323 Oct  4 18:41 davinci.e.html
-rw-r--r--   1 edrx edrx    1478 Oct 20  2021 dbootstrap.e
-rw-r--r--   1 edrx edrx    2865 Oct  4 18:41 dbootstrap.e.html
-rw-r--r--   1 edrx edrx    2084 Dec  4  2022 dbus.e
-rw-r--r--   1 edrx edrx    3951 Oct  4 18:41 dbus.e.html
-rw-r--r--   1 edrx edrx    1668 Oct 20  2021 debian-by-ex.e
-rw-r--r--   1 edrx edrx    2814 Oct  4 18:41 debian-by-ex.e.html
-rw-r--r--   1 edrx edrx    9187 Oct 21  2021 debian-cd.e
-rw-r--r--   1 edrx edrx   16849 Oct  4 18:41 debian-cd.e.html
-rw-r--r--   1 edrx edrx    7436 Oct 21  2021 debian-net.e
-rw-r--r--   1 edrx edrx   13507 Oct  4 18:41 debian-net.e.html
-rw-r--r--   1 edrx edrx   21043 Feb  5  2023 debian.e
-rw-r--r--   1 edrx edrx   45603 Oct  4 18:41 debian.e.html
-rw-r--r--   1 edrx edrx   15818 Oct 21  2021 debian0.e
-rw-r--r--   1 edrx edrx   22354 Oct  4 18:41 debian0.e.html
-rw-r--r--   1 edrx edrx   24510 Oct 21  2021 debiandev.e
-rw-r--r--   1 edrx edrx   44990 Oct  4 18:41 debiandev.e.html
-rw-r--r--   1 edrx edrx   19072 May 28  2024 debootstrap.e
-rw-r--r--   1 edrx edrx   39052 Oct  4 18:41 debootstrap.e.html
-rw-r--r--   1 edrx edrx   36822 Aug  8  2021 debrepository.e
-rw-r--r--   1 edrx edrx   66259 Oct  4 18:41 debrepository.e.html
-rw-r--r--   1 edrx edrx   96589 Dec  1  2024 dednat.e
-rw-r--r--   1 edrx edrx  212640 Oct  4 18:41 dednat.e.html
-rw-r--r--   1 edrx edrx    1371 Jan  1  2022 devuan.e
-rw-r--r--   1 edrx edrx    2615 Oct  4 18:41 devuan.e.html
-rw-r--r--   1 edrx edrx    2695 Jun  5  2024 dhcp.e
-rw-r--r--   1 edrx edrx    6038 Oct  4 18:41 dhcp.e.html
-rw-r--r--   1 edrx edrx    9284 Aug  8  2021 diagrams.e
-rw-r--r--   1 edrx edrx   15940 Oct  4 18:41 diagrams.e.html
-rw-r--r--   1 edrx edrx    7814 Aug  8  2021 diagxy.e
-rw-r--r--   1 edrx edrx   17015 Oct  4 18:41 diagxy.e.html
-rw-r--r--   1 edrx edrx    8597 Aug  8  2021 dialog.e
-rw-r--r--   1 edrx edrx   13364 Oct  4 18:41 dialog.e.html
-rw-r--r--   1 edrx edrx    1947 Aug  8  2021 diaspora.e
-rw-r--r--   1 edrx edrx    3521 Oct  4 18:41 diaspora.e.html
-rw-r--r--   1 edrx edrx    9997 Feb 28  2025 dict.e
-rw-r--r--   1 edrx edrx   19434 Oct  4 18:41 dict.e.html
-rw-r--r--   1 edrx edrx    1671 Sep  5  2024 discord.e
-rw-r--r--   1 edrx edrx    3239 Oct  4 18:41 discord.e.html
-rw-r--r--   1 edrx edrx    2326 Jan 26  2023 dns.e
-rw-r--r--   1 edrx edrx    5189 Oct  4 18:41 dns.e.html
-rw-r--r--   1 edrx edrx    4295 Oct 21  2021 doc.e
-rw-r--r--   1 edrx edrx    7666 Oct  4 18:41 doc.e.html
-rw-r--r--   1 edrx edrx    1614 Feb 21  2020 docker.e
-rw-r--r--   1 edrx edrx    3094 Oct  4 18:41 docker.e.html
-rw-r--r--   1 edrx edrx   16463 Feb  5  2024 doom.e
-rw-r--r--   1 edrx edrx   32502 Oct  4 18:41 doom.e.html
-rw-r--r--   1 edrx edrx   45382 Jan 18  2023 dos.e
-rw-r--r--   1 edrx edrx   76706 Oct  4 18:41 dos.e.html
-rw-r--r--   1 edrx edrx    1430 Aug  8  2021 doxygen.e
-rw-r--r--   1 edrx edrx    2642 Oct  4 18:41 doxygen.e.html
-rw-r--r--   1 edrx edrx   32813 Aug  8  2021 dpkg.e
-rw-r--r--   1 edrx edrx   60152 Oct  4 18:41 dpkg.e.html
-rw-r--r--   1 edrx edrx    3766 Sep 24 00:45 drawtree.e
-rw-r--r--   1 edrx edrx    8058 Oct  4 18:41 drawtree.e.html
-rw-r--r--   1 edrx edrx    2137 Feb 21  2020 dropbox.e
-rw-r--r--   1 edrx edrx    3649 Oct  4 18:41 dropbox.e.html
-rw-r--r--   1 edrx edrx    4123 Oct 21  2021 dual.e
-rw-r--r--   1 edrx edrx    5734 Oct  4 18:41 dual.e.html
-rw-r--r--   1 edrx edrx   36629 Aug  8  2021 dvd.e
-rw-r--r--   1 edrx edrx   67032 Oct  4 18:41 dvd.e.html
-rw-r--r--   1 edrx edrx    6875 Aug  8  2021 e2fs.e
-rw-r--r--   1 edrx edrx   15615 Oct  4 18:41 e2fs.e.html
-rw-r--r--   1 edrx edrx  184476 Apr 30 01:54 ead.e
-rw-r--r--   1 edrx edrx  275745 Oct  4 18:41 ead.e.html
-rw-r--r--   1 edrx edrx   11112 Mar 24  2024 eat.e
-rw-r--r--   1 edrx edrx   16802 Oct  4 18:41 eat.e.html
-rw-r--r--   1 edrx edrx   26891 Aug  8  2021 eee.e
-rw-r--r--   1 edrx edrx   45106 Oct  4 18:41 eee.e.html
-rw-r--r--   1 edrx edrx   10797 Oct 21  2021 eeg.e
-rw-r--r--   1 edrx edrx   16194 Oct  4 18:41 eeg.e.html
-rw-r--r--   1 edrx edrx  154637 Sep 10 13:41 eev.e
-rw-r--r--   1 edrx edrx  298501 Oct  4 18:41 eev.e.html
-rw-r--r--   1 edrx edrx    2973 Feb 25  2025 elixir.e
-rw-r--r--   1 edrx edrx    5976 Oct  4 18:41 elixir.e.html
-rw-r--r--   1 edrx edrx    1674 May 16  2022 elm.e
-rw-r--r--   1 edrx edrx    3088 Oct  4 18:41 elm.e.html
-rw-r--r--   1 edrx edrx    9985 Apr 25  2024 elpa.e
-rw-r--r--   1 edrx edrx   16915 Oct  4 18:41 elpa.e.html
-rw-r--r--   1 edrx edrx  855902 Oct  3 21:30 emacs.e
-rw-r--r--   1 edrx edrx 1614818 Oct  4 18:41 emacs.e.html
-rw-r--r--   1 edrx edrx    4095 Sep 20  2020 emacsconf2019.e
-rw-r--r--   1 edrx edrx    8799 Oct  4 18:41 emacsconf2019.e.html
-rw-r--r--   1 edrx edrx   31181 Sep  4  2022 emacsconf2020.e
-rw-r--r--   1 edrx edrx   50223 Oct  4 18:41 emacsconf2020.e.html
-rw-r--r--   1 edrx edrx    3628 Nov 28  2021 emacsconf2021.e
-rw-r--r--   1 edrx edrx    7608 Oct  4 18:41 emacsconf2021.e.html
-rw-r--r--   1 edrx edrx    7563 Jan  9  2023 emacsconf2022.e
-rw-r--r--   1 edrx edrx   14326 Oct  4 18:41 emacsconf2022.e.html
-rw-r--r--   1 edrx edrx   20783 Mar  2  2024 emacsconf2023.e
-rw-r--r--   1 edrx edrx   44975 Oct  4 18:41 emacsconf2023.e.html
-rw-r--r--   1 edrx edrx    3133 Jul  1  2022 emlua.e
-rw-r--r--   1 edrx edrx    8312 Oct  4 18:41 emlua.e.html
-rw-r--r--   1 edrx edrx    2774 Apr 21  2023 erc.e
-rw-r--r--   1 edrx edrx    5657 Oct  4 18:41 erc.e.html
-rw-r--r--   1 edrx edrx   20720 Sep 15  2024 erlang.e
-rw-r--r--   1 edrx edrx   26011 Oct  4 18:41 erlang.e.html
-rw-r--r--   1 edrx edrx   33840 Oct 21  2021 escripts.e
-rw-r--r--   1 edrx edrx   57994 Oct  4 18:41 escripts.e.html
-rw-r--r--   1 edrx edrx   22817 Oct 23  2024 eshell.e
-rw-r--r--   1 edrx edrx   47064 Oct  4 18:41 eshell.e.html
-rw-r--r--   1 edrx edrx    2289 Oct 20  2021 ethernet.e
-rw-r--r--   1 edrx edrx    3635 Oct  4 18:41 ethernet.e.html
-rw-r--r--   1 edrx edrx    5963 Aug  8  2021 ewiki.e
-rw-r--r--   1 edrx edrx    8933 Oct  4 18:41 ewiki.e.html
-rw-r--r--   1 edrx edrx   10297 Oct 20  2021 exim.e
-rw-r--r--   1 edrx edrx   19035 Oct  4 18:41 exim.e.html
-rw-r--r--   1 edrx edrx    3758 Aug  8  2021 expat.e
-rw-r--r--   1 edrx edrx    7376 Oct  4 18:41 expat.e.html
-rw-r--r--   1 edrx edrx   46809 May 22 08:18 expect.e
-rw-r--r--   1 edrx edrx   73373 Oct  4 18:41 expect.e.html
-rw-r--r--   1 edrx edrx    1624 Dec 16  2022 exwm.e
-rw-r--r--   1 edrx edrx    2882 Oct  4 18:41 exwm.e.html
-rw-r--r--   1 edrx edrx   47083 Apr  7  2023 facebook.e
-rw-r--r--   1 edrx edrx   97813 Oct  4 18:41 facebook.e.html
-rw-r--r--   1 edrx edrx    3747 Sep 15  2024 factor.e
-rw-r--r--   1 edrx edrx    7504 Oct  4 18:41 factor.e.html
-rw-r--r--   1 edrx edrx    8973 Aug  8  2021 fbcmd.e
-rw-r--r--   1 edrx edrx   18583 Oct  4 18:41 fbcmd.e.html
-rw-r--r--   1 edrx edrx    3472 Feb 20  2022 fengari.e
-rw-r--r--   1 edrx edrx    6372 Oct  4 18:41 fengari.e.html
-rw-r--r--   1 edrx edrx   19806 Jul 26 19:24 fennel.e
-rw-r--r--   1 edrx edrx   44715 Oct  4 18:41 fennel.e.html
-rw-r--r--   1 edrx edrx    2043 Sep 26  2024 ferramentas.e
-rw-r--r--   1 edrx edrx    3678 Oct  4 18:41 ferramentas.e.html
-rw-r--r--   1 edrx edrx   54744 Aug 18 00:27 ffmpeg.e
-rw-r--r--   1 edrx edrx  119742 Oct  4 18:41 ffmpeg.e.html
-rw-r--r--   1 edrx edrx    7564 May 26  2024 figlet.e
-rw-r--r--   1 edrx edrx   17931 Oct  4 18:41 figlet.e.html
-rw-r--r--   1 edrx edrx   17459 Dec 20  2024 firefox.e
-rw-r--r--   1 edrx edrx   34979 Oct  4 18:41 firefox.e.html
-rw-r--r--   1 edrx edrx    3222 Oct 21  2021 fl.e
-rw-r--r--   1 edrx edrx    5433 Oct  4 18:41 fl.e.html
-rw-r--r--   1 edrx edrx   13143 Jul 16  2023 flash.e
-rw-r--r--   1 edrx edrx   26639 Oct  4 18:41 flash.e.html
-rw-r--r--   1 edrx edrx    9825 Oct 21  2021 float.e
-rw-r--r--   1 edrx edrx   16146 Oct  4 18:41 float.e.html
-rw-r--r--   1 edrx edrx    9088 Oct 21  2021 floppy.e
-rw-r--r--   1 edrx edrx   14407 Oct  4 18:41 floppy.e.html
-rw-r--r--   1 edrx edrx    7761 Aug  8  2021 flua.e
-rw-r--r--   1 edrx edrx    9923 Oct  4 18:41 flua.e.html
-rw-r--r--   1 edrx edrx    1461 Feb 12  2022 flutter.e
-rw-r--r--   1 edrx edrx    2739 Oct  4 18:41 flutter.e.html
-rw-r--r--   1 edrx edrx    1738 Apr 29 02:53 fonts.e
-rw-r--r--   1 edrx edrx    3327 Oct  4 18:41 fonts.e.html
-rw-r--r--   1 edrx edrx   40498 Jun  3 15:59 forth.e
-rw-r--r--   1 edrx edrx   64979 Oct  4 18:41 forth.e.html
-rw-r--r--   1 edrx edrx   54309 Jun 22  2024 fortho.e
-rw-r--r--   1 edrx edrx  102907 Oct  4 18:41 fortho.e.html
-rw-r--r--   1 edrx edrx    5011 Aug  4 21:31 fortran.e
-rw-r--r--   1 edrx edrx    9220 Oct  4 18:41 fortran.e.html
-rw-r--r--   1 edrx edrx   13382 Aug 29 20:06 fossil.e
-rw-r--r--   1 edrx edrx   32612 Oct  4 18:41 fossil.e.html
-rw-r--r--   1 edrx edrx    4399 Sep 26  2023 ftpd.e
-rw-r--r--   1 edrx edrx    8666 Oct  4 18:41 ftpd.e.html
-rw-r--r--   1 edrx edrx   42954 Jul 26  2022 fvwm.e
-rw-r--r--   1 edrx edrx   91450 Oct  4 18:41 fvwm.e.html
-rw-r--r--   1 edrx edrx    4201 Aug  8  2021 gaim.e
-rw-r--r--   1 edrx edrx    7514 Oct  4 18:41 gaim.e.html
-rw-r--r--   1 edrx edrx   36363 Sep 28 10:44 games.e
-rw-r--r--   1 edrx edrx   67498 Oct  4 18:41 games.e.html
-rw-r--r--   1 edrx edrx   14697 Sep 18 00:55 gdb.e
-rw-r--r--   1 edrx edrx   36545 Oct  4 18:41 gdb.e.html
-rw-r--r--   1 edrx edrx    1637 Feb 21  2020 geany.e
-rw-r--r--   1 edrx edrx    2864 Oct  4 18:41 geany.e.html
-rw-r--r--   1 edrx edrx    1555 Jan  5  2025 geiser.e
-rw-r--r--   1 edrx edrx    3362 Oct  4 18:41 geiser.e.html
-rw-r--r--   1 edrx edrx   20360 Jan 20  2023 general.e
-rw-r--r--   1 edrx edrx   30835 Oct  4 18:41 general.e.html
-rw-r--r--   1 edrx edrx    3996 Jun  5  2023 geogebra.e
-rw-r--r--   1 edrx edrx    8576 Oct  4 18:41 geogebra.e.html
-rw-r--r--   1 edrx edrx    2485 Nov  2  2021 geometry.e
-rw-r--r--   1 edrx edrx    5329 Oct  4 18:41 geometry.e.html
-rw-r--r--   1 edrx edrx    2361 Feb 21  2020 gettext.e
-rw-r--r--   1 edrx edrx    4791 Oct  4 18:41 gettext.e.html
-rw-r--r--   1 edrx edrx    6569 Aug  8  2021 gforth.e
-rw-r--r--   1 edrx edrx   11900 Oct  4 18:41 gforth.e.html
-rw-r--r--   1 edrx edrx    8975 Sep  8 14:50 ghc.e
-rw-r--r--   1 edrx edrx   20110 Oct  4 18:41 ghc.e.html
-rw-r--r--   1 edrx edrx    2586 May  4  2021 ghcup.e
-rw-r--r--   1 edrx edrx    5520 Oct  4 18:41 ghcup.e.html
-rw-r--r--   1 edrx edrx    2491 Apr  3  2025 gifs.e
-rw-r--r--   1 edrx edrx    5467 Oct  4 18:41 gifs.e.html
-rw-r--r--   1 edrx edrx   13396 Oct  4 03:18 gimp.e
-rw-r--r--   1 edrx edrx   25148 Oct  4 18:41 gimp.e.html
-rw-r--r--   1 edrx edrx  138339 Aug 11 16:30 git.e
-rw-r--r--   1 edrx edrx  296817 Oct  4 18:41 git.e.html
-rw-r--r--   1 edrx edrx   22400 Feb  8  2023 gnome.e
-rw-r--r--   1 edrx edrx   44658 Oct  4 18:41 gnome.e.html
-rw-r--r--   1 edrx edrx   30470 Feb  1  2024 gnuplot.e
-rw-r--r--   1 edrx edrx   46552 Oct  4 18:41 gnuplot.e.html
-rw-r--r--   1 edrx edrx   15525 Aug  8  2021 gnus.e
-rw-r--r--   1 edrx edrx   27391 Oct  4 18:41 gnus.e.html
-rw-r--r--   1 edrx edrx   23609 Feb 24  2025 godot.e
-rw-r--r--   1 edrx edrx   51026 Oct  4 18:41 godot.e.html
-rw-r--r--   1 edrx edrx    4628 Jun 28 07:14 golang.e
-rw-r--r--   1 edrx edrx    9882 Oct  4 18:41 golang.e.html
-rw-r--r--   1 edrx edrx   13733 Apr 13 08:40 googlegroups.e
-rw-r--r--   1 edrx edrx   22193 Oct  4 18:41 googlegroups.e.html
-rw-r--r--   1 edrx edrx    3239 Aug  3  2024 gpg.e
-rw-r--r--   1 edrx edrx    5175 Oct  4 18:41 gpg.e.html
-rw-r--r--   1 edrx edrx    3444 Aug  8  2021 graphviz.e
-rw-r--r--   1 edrx edrx    8278 Oct  4 18:41 graphviz.e.html
-rw-r--r--   1 edrx edrx   19662 Oct 20  2021 greenmatrix.e
-rw-r--r--   1 edrx edrx   27339 Oct  4 18:41 greenmatrix.e.html
-rw-r--r--   1 edrx edrx    6497 Aug  8  2021 groff.e
-rw-r--r--   1 edrx edrx   11979 Oct  4 18:41 groff.e.html
-rw-r--r--   1 edrx edrx    2184 May 14  2023 groovy.e
-rw-r--r--   1 edrx edrx    4040 Oct  4 18:41 groovy.e.html
-rw-r--r--   1 edrx edrx   79404 Feb 14  2024 grub.e
-rw-r--r--   1 edrx edrx  158329 Oct  4 18:41 grub.e.html
-rw-r--r--   1 edrx edrx    8368 Jan 14  2024 gtk.e
-rw-r--r--   1 edrx edrx   11385 Oct  4 18:41 gtk.e.html
-rw-r--r--   1 edrx edrx  117566 Jun  2 17:41 hardware.e
-rw-r--r--   1 edrx edrx  207018 Oct  4 18:41 hardware.e.html
-rw-r--r--   1 edrx edrx   94926 Sep 23 09:02 haskell.e
-rw-r--r--   1 edrx edrx  194322 Oct  4 18:41 haskell.e.html
-rw-r--r--   1 edrx edrx   23585 Jul 24 10:44 hd.e
-rw-r--r--   1 edrx edrx   51717 Oct  4 18:41 hd.e.html
-rw-r--r--   1 edrx edrx   14405 Aug  8  2021 highlight.e
-rw-r--r--   1 edrx edrx   26519 Oct  4 18:41 highlight.e.html
-rw-r--r--   1 edrx edrx   15311 Aug  8  2021 hol.e
-rw-r--r--   1 edrx edrx   29118 Oct  4 18:41 hol.e.html
-rw-r--r--   1 edrx edrx   13207 Sep 17  2024 howm.e
-rw-r--r--   1 edrx edrx   23854 Oct  4 18:41 howm.e.html
-rw-r--r--   1 edrx edrx    1914 Oct 20  2021 hsforth.e
-rw-r--r--   1 edrx edrx    3887 Oct  4 18:41 hsforth.e.html
-rw-r--r--   1 edrx edrx   55008 Aug  4 21:34 html.e
-rw-r--r--   1 edrx edrx  101805 Oct  4 18:41 html.e.html
-rw-r--r--   1 edrx edrx    4979 Nov  1  2024 htmlize.e
-rw-r--r--   1 edrx edrx    9935 Oct  4 18:41 htmlize.e.html
-rw-r--r--   1 edrx edrx   45662 Aug 28 21:07 http.e
-rw-r--r--   1 edrx edrx   88652 Oct  4 18:41 http.e.html
-rw-r--r--   1 edrx edrx   44709 Oct 21  2021 hurd-old.e
-rw-r--r--   1 edrx edrx   71062 Oct  4 18:41 hurd-old.e.html
-rw-r--r--   1 edrx edrx   56357 Aug  1  2023 hurd.e
-rw-r--r--   1 edrx edrx   91716 Oct  4 18:41 hurd.e.html
-rw-r--r--   1 edrx edrx    2531 Oct 21  2021 hw-eth.e
-rw-r--r--   1 edrx edrx    3999 Oct  4 18:41 hw-eth.e.html
-rw-r--r--   1 edrx edrx    3237 Oct 20  2021 hw-parport.e
-rw-r--r--   1 edrx edrx    4577 Oct  4 18:41 hw-parport.e.html
-rw-r--r--   1 edrx edrx    3897 Oct 20  2021 hw-sound.e
-rw-r--r--   1 edrx edrx    5485 Oct  4 18:41 hw-sound.e.html
-rw-r--r--   1 edrx edrx   67036 Mar  1  2025 hyperbole.e
-rw-r--r--   1 edrx edrx  102146 Oct  4 18:41 hyperbole.e.html
-rw-r--r--   1 edrx edrx   39022 Jul 10  2022 icon.e
-rw-r--r--   1 edrx edrx   67032 Oct  4 18:41 icon.e.html
-rw-r--r--   1 edrx edrx    4372 Oct 21  2021 icq.e
-rw-r--r--   1 edrx edrx    7319 Oct  4 18:41 icq.e.html
-rw-r--r--   1 edrx edrx    1570 Feb 21  2020 idarct.e
-rw-r--r--   1 edrx edrx    2825 Oct  4 18:41 idarct.e.html
-rw-r--r--   1 edrx edrx   49032 May 25  2021 idris.e
-rw-r--r--   1 edrx edrx   94319 Oct  4 18:41 idris.e.html
-rw-r--r--   1 edrx edrx    2851 Feb 18  2024 ikiwiki.e
-rw-r--r--   1 edrx edrx    5626 Oct  4 18:41 ikiwiki.e.html
-rw-r--r--   1 edrx edrx   25684 Aug 27 03:59 imagemagick.e
-rw-r--r--   1 edrx edrx   54423 Oct  4 18:41 imagemagick.e.html
-rw-r--r--   1 edrx edrx    2237 Aug  8  2021 index.e
-rw-r--r--   1 edrx edrx    6075 Oct  4 18:41 index.e.html
-rw-r--r--   1 edrx edrx    8414 Jun  7  2024 init.e
-rw-r--r--   1 edrx edrx   19178 Oct  4 18:41 init.e.html
-rw-r--r--   1 edrx edrx   23368 May  2 16:55 initrd.e
-rw-r--r--   1 edrx edrx   41323 Oct  4 18:41 initrd.e.html
-rw-r--r--   1 edrx edrx   17108 Sep  5 16:37 inkscape.e
-rw-r--r--   1 edrx edrx   35648 Oct  4 18:41 inkscape.e.html
-rw-r--r--   1 edrx edrx    2099 Aug 24  2024 instagram.e
-rw-r--r--   1 edrx edrx    4426 Oct  4 18:41 instagram.e.html
-rw-r--r--   1 edrx edrx    7711 Oct 21  2021 interbase.e
-rw-r--r--   1 edrx edrx   15094 Oct  4 18:41 interbase.e.html
-rw-r--r--   1 edrx edrx    6228 Oct 21  2021 ion.e
-rw-r--r--   1 edrx edrx    9579 Oct  4 18:41 ion.e.html
-rw-r--r--   1 edrx edrx    1525 Nov 12  2021 ios.e
-rw-r--r--   1 edrx edrx    2965 Oct  4 18:41 ios.e.html
-rw-r--r--   1 edrx edrx   60974 Dec 10  2021 ipython.e
-rw-r--r--   1 edrx edrx  113139 Oct  4 18:41 ipython.e.html
-rw-r--r--   1 edrx edrx   25106 Dec  9  2024 irc.e
-rw-r--r--   1 edrx edrx   44225 Oct  4 18:41 irc.e.html
-rw-r--r--   1 edrx edrx   10214 May 18  2022 isabelle.e
-rw-r--r--   1 edrx edrx   18798 Oct  4 18:41 isabelle.e.html
-rw-r--r--   1 edrx edrx    1812 Aug  8  2021 isolinux.e
-rw-r--r--   1 edrx edrx    4402 Oct  4 18:41 isolinux.e.html
-rw-r--r--   1 edrx edrx   41183 Aug  8  2021 iup-old.e
-rw-r--r--   1 edrx edrx   71269 Oct  4 18:41 iup-old.e.html
-rw-r--r--   1 edrx edrx   38684 Aug 14  2021 iup.e
-rw-r--r--   1 edrx edrx   66293 Oct  4 18:41 iup.e.html
-rw-r--r--   1 edrx edrx    4513 Jan 13  2024 jammy.e
-rw-r--r--   1 edrx edrx    8774 Oct  4 18:41 jammy.e.html
-rw-r--r--   1 edrx edrx   11382 Jun  5  2024 java.e
-rw-r--r--   1 edrx edrx   21645 Oct  4 18:41 java.e.html
-rw-r--r--   1 edrx edrx   72997 Oct 29  2023 javascript.e
-rw-r--r--   1 edrx edrx  137803 Oct  4 18:41 javascript.e.html
-rw-r--r--   1 edrx edrx    1691 Aug  8  2021 joomla.e
-rw-r--r--   1 edrx edrx    3251 Oct  4 18:41 joomla.e.html
-rw-r--r--   1 edrx edrx    4083 Apr 14  2022 joy.e
-rw-r--r--   1 edrx edrx    6765 Oct  4 18:41 joy.e.html
-rw-r--r--   1 edrx edrx   21912 Aug 24 20:27 js.e
-rw-r--r--   1 edrx edrx   46132 Oct  4 18:41 js.e.html
-rw-r--r--   1 edrx edrx    8980 May 18 00:34 json.e
-rw-r--r--   1 edrx edrx   15290 Oct  4 18:41 json.e.html
-rw-r--r--   1 edrx edrx   11617 Oct  1 11:55 julia.e
-rw-r--r--   1 edrx edrx   24204 Oct  4 18:41 julia.e.html
-rw-r--r--   1 edrx edrx    9473 Jul  8  2023 jupyter.e
-rw-r--r--   1 edrx edrx   20451 Oct  4 18:41 jupyter.e.html
-rw-r--r--   1 edrx edrx    7408 Oct 21  2021 k22.e
-rw-r--r--   1 edrx edrx    9063 Oct  4 18:41 k22.e.html
-rw-r--r--   1 edrx edrx   10763 Aug  8  2021 kepler.e
-rw-r--r--   1 edrx edrx   20564 Oct  4 18:41 kepler.e.html
-rw-r--r--   1 edrx edrx   69779 Aug  8  2021 kernel.e
-rw-r--r--   1 edrx edrx  121980 Oct  4 18:41 kernel.e.html
-rw-r--r--   1 edrx edrx    7740 Aug  2 08:22 kitten.e
-rw-r--r--   1 edrx edrx   17950 Oct  4 18:41 kitten.e.html
-rw-r--r--   1 edrx edrx    1656 Feb 21  2020 ksh.e
-rw-r--r--   1 edrx edrx    3228 Oct  4 18:41 ksh.e.html
-rw-r--r--   1 edrx edrx    4727 Dec 13  2023 labinfo.e
-rw-r--r--   1 edrx edrx   11413 Oct  4 18:41 labinfo.e.html
-rw-r--r--   1 edrx edrx    4017 Oct 21  2021 latest.e
-rw-r--r--   1 edrx edrx   13902 Oct  4 18:41 latest.e.html
-rw-r--r--   1 edrx edrx  300662 Aug 11 16:05 lean.e
-rw-r--r--   1 edrx edrx  622304 Oct  4 18:41 lean.e.html
-rw-r--r--   1 edrx edrx   16953 Aug  8  2021 lenny.e
-rw-r--r--   1 edrx edrx   35122 Oct  4 18:41 lenny.e.html
-rw-r--r--   1 edrx edrx    6911 Oct 21  2021 lexyacc.e
-rw-r--r--   1 edrx edrx   12907 Oct  4 18:41 lexyacc.e.html
-rw-r--r--   1 edrx edrx    8544 Sep 16  2021 libreboot.e
-rw-r--r--   1 edrx edrx   15554 Oct  4 18:41 libreboot.e.html
-rw-r--r--   1 edrx edrx    6523 Aug  8  2021 licenses.e
-rw-r--r--   1 edrx edrx    8024 Oct  4 18:41 licenses.e.html
-rw-r--r--   1 edrx edrx   20434 Oct 21  2021 lilo.e
-rw-r--r--   1 edrx edrx   29863 Oct  4 18:41 lilo.e.html
-rw-r--r--   1 edrx edrx   34746 Mar 19  2025 lilypond.e
-rw-r--r--   1 edrx edrx   69885 Oct  4 18:41 lilypond.e.html
-rw-r--r--   1 edrx edrx    5664 Apr 10 18:31 linux.e
-rw-r--r--   1 edrx edrx    9279 Oct  4 18:41 linux.e.html
-rw-r--r--   1 edrx edrx  226249 Oct  4 12:54 lisp.e
-rw-r--r--   1 edrx edrx  421899 Oct  4 18:41 lisp.e.html
-rw-r--r--   1 edrx edrx   38104 Aug  8  2021 live.e
-rw-r--r--   1 edrx edrx   79292 Oct  4 18:41 live.e.html
-rw-r--r--   1 edrx edrx   35744 Aug  8  2021 livecd.e
-rw-r--r--   1 edrx edrx   63357 Oct  4 18:41 livecd.e.html
-rw-r--r--   1 edrx edrx   14651 Oct  2 20:19 llms.e
-rw-r--r--   1 edrx edrx   25295 Oct  4 18:41 llms.e.html
-rw-r--r--   1 edrx edrx    5866 Jan 11  2023 locale.e
-rw-r--r--   1 edrx edrx   13715 Oct  4 18:41 locale.e.html
-rw-r--r--   1 edrx edrx    7542 Feb  3  2023 localnet.e
-rw-r--r--   1 edrx edrx   11644 Oct  4 18:41 localnet.e.html
-rw-r--r--   1 edrx edrx   12398 Aug  8  2021 localvideos.e
-rw-r--r--   1 edrx edrx   28150 Oct  4 18:41 localvideos.e.html
-rw-r--r--   1 edrx edrx    1824 Aug  8  2021 loomio.e
-rw-r--r--   1 edrx edrx    3394 Oct  4 18:41 loomio.e.html
-rw-r--r--   1 edrx edrx    7327 Aug  8  2021 loop.e
-rw-r--r--   1 edrx edrx   13570 Oct  4 18:41 loop.e.html
-rw-r--r--   1 edrx edrx   16502 Mar  2  2025 love.e
-rw-r--r--   1 edrx edrx   32382 Oct  4 18:41 love.e.html
-rw-r--r--   1 edrx edrx   86941 Apr 14 23:39 lpeg.e
-rw-r--r--   1 edrx edrx  141830 Oct  4 18:41 lpeg.e.html
-rw-r--r--   1 edrx edrx   10664 Jun 17 01:25 lsp.e
-rw-r--r--   1 edrx edrx   19814 Oct  4 18:41 lsp.e.html
-rw-r--r--   1 edrx edrx   47363 Dec 16  2023 lua-intro.e
-rw-r--r--   1 edrx edrx   92394 Oct  4 18:41 lua-intro.e.html
-rw-r--r--   1 edrx edrx   23436 Oct 21  2021 lua-old.e
-rw-r--r--   1 edrx edrx   40619 Oct  4 18:41 lua-old.e.html
-rw-r--r--   1 edrx edrx   66885 Oct 21  2021 lua.e
-rw-r--r--   1 edrx edrx  118487 Oct  4 18:41 lua.e.html
-rw-r--r--   1 edrx edrx  567961 Sep 17 14:24 lua5.e
-rw-r--r--   1 edrx edrx 1097949 Oct  4 18:41 lua5.e.html
-rw-r--r--   1 edrx edrx    1822 Dec  3  2022 luakit.e
-rw-r--r--   1 edrx edrx    3468 Oct  4 18:41 luakit.e.html
-rw-r--r--   1 edrx edrx    1520 Aug  8  2021 luarepl.e
-rw-r--r--   1 edrx edrx    3107 Oct  4 18:41 luarepl.e.html
-rw-r--r--   1 edrx edrx   14189 Feb 20  2025 luarocks.e
-rw-r--r--   1 edrx edrx   24804 Oct  4 18:41 luarocks.e.html
-rw-r--r--   1 edrx edrx  121851 Mar 19  2025 luatex.e
-rw-r--r--   1 edrx edrx  230171 Oct  4 18:41 luatex.e.html
-rw-r--r--   1 edrx edrx   19216 Mar 16  2025 lynx.e
-rw-r--r--   1 edrx edrx   29310 Oct  4 18:41 lynx.e.html
-rw-r--r--   1 edrx edrx   17261 Oct  2 21:31 magit.e
-rw-r--r--   1 edrx edrx   32873 Oct  4 18:41 magit.e.html
-rw-r--r--   1 edrx edrx   76483 Apr 29 01:39 mail.e
-rw-r--r--   1 edrx edrx  134142 Oct  4 18:41 mail.e.html
-rw-r--r--   1 edrx edrx   17349 Oct 15  2024 make.e
-rw-r--r--   1 edrx edrx   40462 Oct  4 18:41 make.e.html
-rw-r--r--   1 edrx edrx    7965 Mar 17  2020 man.e
-rw-r--r--   1 edrx edrx   16606 Oct  4 18:41 man.e.html
-rw-r--r--   1 edrx edrx    6262 Dec 19  2023 manim.e
-rw-r--r--   1 edrx edrx   11783 Oct  4 18:41 manim.e.html
-rw-r--r--   1 edrx edrx   10360 Jan 26  2024 maple.e
-rw-r--r--   1 edrx edrx   15347 Oct  4 18:41 maple.e.html
-rw-r--r--   1 edrx edrx    9393 Sep 11  2024 markdown.e
-rw-r--r--   1 edrx edrx   16500 Oct  4 18:41 markdown.e.html
-rw-r--r--   1 edrx edrx    2982 May  4 20:37 mastodon.e
-rw-r--r--   1 edrx edrx    4740 Oct  4 18:41 mastodon.e.html
-rw-r--r--   1 edrx edrx   15382 Aug  8  2021 mate.e
-rw-r--r--   1 edrx edrx   32373 Oct  4 18:41 mate.e.html
-rw-r--r--   1 edrx edrx   75086 Sep 18 00:57 math.e
-rw-r--r--   1 edrx edrx  155087 Oct  4 18:41 math.e.html
-rw-r--r--   1 edrx edrx    6830 Aug 20  2022 mathologer.e
-rw-r--r--   1 edrx edrx   12756 Oct  4 18:41 mathologer.e.html
-rw-r--r--   1 edrx edrx    2537 Nov 30  2024 matplotlib.e
-rw-r--r--   1 edrx edrx    5161 Oct  4 18:41 matplotlib.e.html
-rw-r--r--   1 edrx edrx    2880 Feb  8  2023 matrix.e
-rw-r--r--   1 edrx edrx    6142 Oct  4 18:41 matrix.e.html
-rw-r--r--   1 edrx edrx  661104 Oct  4 08:13 maxima.e
-rw-r--r--   1 edrx edrx 1483893 Oct  4 18:41 maxima.e.html
-rw-r--r--   1 edrx edrx   11294 Nov 27  2024 mbe.e
-rw-r--r--   1 edrx edrx   23294 Oct  4 18:41 mbe.e.html
-rw-r--r--   1 edrx edrx   13395 Nov 18  2023 metapost.e
-rw-r--r--   1 edrx edrx   25518 Oct  4 18:41 metapost.e.html
-rw-r--r--   1 edrx edrx   12660 Aug  8  2021 mgp.e
-rw-r--r--   1 edrx edrx   17621 Oct  4 18:41 mgp.e.html
-rw-r--r--   1 edrx edrx    1697 Dec 31  2020 mikmod.e
-rw-r--r--   1 edrx edrx    3100 Oct  4 18:41 mikmod.e.html
-rw-r--r--   1 edrx edrx   25247 Oct 21  2021 mini.e
-rw-r--r--   1 edrx edrx   36139 Oct  4 18:41 mini.e.html
-rw-r--r--   1 edrx edrx    2699 May 13  2023 mint.e
-rw-r--r--   1 edrx edrx    4727 Oct  4 18:41 mint.e.html
-rw-r--r--   1 edrx edrx    2229 May 22  2024 minted.e
-rw-r--r--   1 edrx edrx    4941 Oct  4 18:41 minted.e.html
-rw-r--r--   1 edrx edrx   14540 Oct 21  2021 mktclapp.e
-rw-r--r--   1 edrx edrx   24522 Oct  4 18:41 mktclapp.e.html
-rw-r--r--   1 edrx edrx   37959 Mar 30  2025 ml.e
-rw-r--r--   1 edrx edrx   71183 Oct  4 18:41 ml.e.html
-rw-r--r--   1 edrx edrx    4321 May 27  2024 mmdebstrap.e
-rw-r--r--   1 edrx edrx    8348 Oct  4 18:41 mmdebstrap.e.html
-rw-r--r--   1 edrx edrx    4080 Oct 20  2021 modelcheck.e
-rw-r--r--   1 edrx edrx    6339 Oct  4 18:41 modelcheck.e.html
-rw-r--r--   1 edrx edrx   27435 Aug  8  2021 modem.e
-rw-r--r--   1 edrx edrx   48896 Oct  4 18:41 modem.e.html
-rw-r--r--   1 edrx edrx    2021 Oct 20  2021 modula3.e
-rw-r--r--   1 edrx edrx    3507 Oct  4 18:41 modula3.e.html
-rw-r--r--   1 edrx edrx    1634 Aug  8  2021 moodle.e
-rw-r--r--   1 edrx edrx    3020 Oct  4 18:41 moodle.e.html
-rw-r--r--   1 edrx edrx    4311 Mar 21  2022 mouse.e
-rw-r--r--   1 edrx edrx    9103 Oct  4 18:41 mouse.e.html
-rw-r--r--   1 edrx edrx   22152 Nov 19  2024 mp3.e
-rw-r--r--   1 edrx edrx   39400 Oct  4 18:41 mp3.e.html
-rw-r--r--   1 edrx edrx   26531 Sep 20 10:25 mplayer.e
-rw-r--r--   1 edrx edrx   57449 Oct  4 18:41 mplayer.e.html
-rw-r--r--   1 edrx edrx    2365 Oct 22  2024 mqtt.e
-rw-r--r--   1 edrx edrx    5137 Oct  4 18:41 mqtt.e.html
-rw-r--r--   1 edrx edrx    8064 Apr  5  2023 mtp.e
-rw-r--r--   1 edrx edrx   19644 Oct  4 18:41 mtp.e.html
-rw-r--r--   1 edrx edrx    2061 Aug  8  2021 multiterminal.e
-rw-r--r--   1 edrx edrx    3743 Oct  4 18:41 multiterminal.e.html
-rw-r--r--   1 edrx edrx    2301 Aug  8  2021 musescore.e
-rw-r--r--   1 edrx edrx    4100 Oct  4 18:41 musescore.e.html
-rw-r--r--   1 edrx edrx   65499 Mar  9  2025 music.e
-rw-r--r--   1 edrx edrx  121147 Oct  4 18:41 music.e.html
-rw-r--r--   1 edrx edrx   18801 Aug  8  2021 mysql.e
-rw-r--r--   1 edrx edrx   33199 Oct  4 18:41 mysql.e.html
-rw-r--r--   1 edrx edrx   20463 Aug  8  2021 ndiswrapper.e
-rw-r--r--   1 edrx edrx   37817 Oct  4 18:41 ndiswrapper.e.html
-rw-r--r--   1 edrx edrx   25748 Jul 31 17:14 net.e
-rw-r--r--   1 edrx edrx   48158 Oct  4 18:41 net.e.html
-rw-r--r--   1 edrx edrx   10320 Oct 21  2021 netbasics.e
-rw-r--r--   1 edrx edrx   14077 Oct  4 18:41 netbasics.e.html
-rw-r--r--   1 edrx edrx   22388 Aug  8  2021 netbsd.e
-rw-r--r--   1 edrx edrx   44988 Oct  4 18:41 netbsd.e.html
-rw-r--r--   1 edrx edrx    3233 Apr 10 09:32 netcat.e
-rw-r--r--   1 edrx edrx    7393 Oct  4 18:41 netcat.e.html
-rw-r--r--   1 edrx edrx   21493 Oct 21  2021 netscape.e
-rw-r--r--   1 edrx edrx   29565 Oct  4 18:41 netscape.e.html
-rw-r--r--   1 edrx edrx    4300 Apr  9  2023 netsurf.e
-rw-r--r--   1 edrx edrx    9317 Oct  4 18:41 netsurf.e.html
-rw-r--r--   1 edrx edrx   12105 Aug  8  2021 networkmanager.e
-rw-r--r--   1 edrx edrx   26974 Oct  4 18:41 networkmanager.e.html
-rw-r--r--   1 edrx edrx    3517 Oct 21  2021 news.e
-rw-r--r--   1 edrx edrx    6278 Oct  4 18:41 news.e.html
-rw-r--r--   1 edrx edrx    5584 Mar 14  2023 nim.e
-rw-r--r--   1 edrx edrx   12755 Oct  4 18:41 nim.e.html
-rw-r--r--   1 edrx edrx    1702 May 22  2024 nix.e
-rw-r--r--   1 edrx edrx    3090 Oct  4 18:41 nix.e.html
-rw-r--r--   1 edrx edrx    2514 Aug  8  2021 non.e
-rw-r--r--   1 edrx edrx    4778 Oct  4 18:41 non.e.html
-rw-r--r--   1 edrx edrx    3330 Oct 21  2021 nonfree.e
-rw-r--r--   1 edrx edrx    5582 Oct  4 18:41 nonfree.e.html
-rw-r--r--   1 edrx edrx    2224 Dec  6  2024 noweb.e
-rw-r--r--   1 edrx edrx    4846 Oct  4 18:41 noweb.e.html
-rw-r--r--   1 edrx edrx    5225 Feb 25  2024 npm.e
-rw-r--r--   1 edrx edrx   13806 Oct  4 18:41 npm.e.html
-rw-r--r--   1 edrx edrx    1621 Dec  9  2022 oauth.e
-rw-r--r--   1 edrx edrx    3137 Oct  4 18:41 oauth.e.html
-rw-r--r--   1 edrx edrx    2306 Apr 28  2022 oberon.e
-rw-r--r--   1 edrx edrx    3637 Oct  4 18:41 oberon.e.html
-rw-r--r--   1 edrx edrx    2622 Aug  8  2021 obj.e
-rw-r--r--   1 edrx edrx    5094 Oct  4 18:41 obj.e.html
-rw-r--r--   1 edrx edrx   38099 Aug  1 00:28 ocaml.e
-rw-r--r--   1 edrx edrx   75268 Oct  4 18:41 ocaml.e.html
-rw-r--r--   1 edrx edrx    3601 Oct 21  2021 octal.e
-rw-r--r--   1 edrx edrx    6049 Oct  4 18:41 octal.e.html
-rw-r--r--   1 edrx edrx    4384 Aug 27 05:15 octave.e
-rw-r--r--   1 edrx edrx    9445 Oct  4 18:41 octave.e.html
-rw-r--r--   1 edrx edrx    2953 Feb 23  2024 ohm.e
-rw-r--r--   1 edrx edrx    6106 Oct  4 18:41 ohm.e.html
-rw-r--r--   1 edrx edrx    7974 Oct 21  2021 oldpage.e
-rw-r--r--   1 edrx edrx   11843 Oct  4 18:41 oldpage.e.html
-rw-r--r--   1 edrx edrx    5900 Aug  8  2021 op-1.e
-rw-r--r--   1 edrx edrx    8488 Oct  4 18:41 op-1.e.html
-rw-r--r--   1 edrx edrx   29347 Dec 26  2022 openoffice.e
-rw-r--r--   1 edrx edrx   40352 Oct  4 18:41 openoffice.e.html
-rw-r--r--   1 edrx edrx    2895 Mar 25  2022 opera.e
-rw-r--r--   1 edrx edrx    6107 Oct  4 18:41 opera.e.html
-rw-r--r--   1 edrx edrx    7136 Aug  8  2021 oracle.e
-rw-r--r--   1 edrx edrx   12415 Oct  4 18:41 oracle.e.html
-rw-r--r--   1 edrx edrx  114228 Sep 21 04:09 org.e
-rw-r--r--   1 edrx edrx  243503 Oct  4 18:41 org.e.html
-rw-r--r--   1 edrx edrx    4760 Oct 21  2021 oskit.e
-rw-r--r--   1 edrx edrx    7885 Oct  4 18:41 oskit.e.html
-rw-r--r--   1 edrx edrx   11917 May 27 21:19 osx.e
-rw-r--r--   1 edrx edrx   21867 Oct  4 18:41 osx.e.html
-rw-r--r--   1 edrx edrx    2815 Mar 19  2025 overleaf.e
-rw-r--r--   1 edrx edrx    5687 Oct  4 18:41 overleaf.e.html
-rw-r--r--   1 edrx edrx   13956 Feb 27  2025 p2p.e
-rw-r--r--   1 edrx edrx   27824 Oct  4 18:41 p2p.e.html
-rw-r--r--   1 edrx edrx   41232 Jun  9  2024 page.e
-rw-r--r--   1 edrx edrx   78115 Oct  4 18:41 page.e.html
-rw-r--r--   1 edrx edrx    7003 Sep  5  2022 pam.e
-rw-r--r--   1 edrx edrx   18431 Oct  4 18:41 pam.e.html
-rw-r--r--   1 edrx edrx    3890 Nov 29  2024 pandoc.e
-rw-r--r--   1 edrx edrx    7201 Oct  4 18:41 pandoc.e.html
-rw-r--r--   1 edrx edrx    5958 Apr 12 23:37 pascal.e
-rw-r--r--   1 edrx edrx    9120 Oct  4 18:41 pascal.e.html
-rw-r--r--   1 edrx edrx    5760 Sep 29  2024 paste.e
-rw-r--r--   1 edrx edrx   12618 Oct  4 18:41 paste.e.html
-rw-r--r--   1 edrx edrx   11493 Aug 22  2021 pendrive.e
-rw-r--r--   1 edrx edrx   24668 Oct  4 18:41 pendrive.e.html
-rw-r--r--   1 edrx edrx    3251 Jan 23  2024 penrose.e
-rw-r--r--   1 edrx edrx    6705 Oct  4 18:41 penrose.e.html
-rw-r--r--   1 edrx edrx   22884 Mar 10  2025 perl.e
-rw-r--r--   1 edrx edrx   40145 Oct  4 18:41 perl.e.html
-rw-r--r--   1 edrx edrx    3358 Oct 20  2021 perl1.e
-rw-r--r--   1 edrx edrx    4668 Oct  4 18:41 perl1.e.html
-rw-r--r--   1 edrx edrx    3575 May 12  2023 perl6.e
-rw-r--r--   1 edrx edrx    6880 Oct  4 18:41 perl6.e.html
-rw-r--r--   1 edrx edrx   16077 Mar 18  2023 pharo.e
-rw-r--r--   1 edrx edrx   37925 Oct  4 18:41 pharo.e.html
-rw-r--r--   1 edrx edrx   34167 Sep 28 10:33 php.e
-rw-r--r--   1 edrx edrx   62515 Oct  4 18:41 php.e.html
-rw-r--r--   1 edrx edrx   10926 Aug  8  2021 pic.e
-rw-r--r--   1 edrx edrx   16657 Oct  4 18:41 pic.e.html
-rw-r--r--   1 edrx edrx   14027 Nov 19  2023 pict2e.e
-rw-r--r--   1 edrx edrx   24374 Oct  4 18:41 pict2e.e.html
-rw-r--r--   1 edrx edrx    1740 Aug  8  2021 pidgin.e
-rw-r--r--   1 edrx edrx    3126 Oct  4 18:41 pidgin.e.html
-rw-r--r--   1 edrx edrx    2099 Oct 30  2020 pitivi.e
-rw-r--r--   1 edrx edrx    3909 Oct  4 18:41 pitivi.e.html
-rw-r--r--   1 edrx edrx   42938 Oct 11  2024 plan9.e
-rw-r--r--   1 edrx edrx   48210 Oct  4 18:41 plan9.e.html
-rw-r--r--   1 edrx edrx    2948 Aug  8  2021 planner.e
-rw-r--r--   1 edrx edrx    4616 Oct  4 18:41 planner.e.html
-rw-r--r--   1 edrx edrx   53937 Aug  8  2021 plurall.e
-rw-r--r--   1 edrx edrx   97745 Oct  4 18:41 plurall.e.html
-rw-r--r--   1 edrx edrx    4123 Mar 18  2022 plzoo.e
-rw-r--r--   1 edrx edrx    8664 Oct  4 18:41 plzoo.e.html
-rw-r--r--   1 edrx edrx    2419 Mar  1  2023 poke.e
-rw-r--r--   1 edrx edrx    4462 Oct  4 18:41 poke.e.html
-rw-r--r--   1 edrx edrx   23796 Oct 17  2024 postgres.e
-rw-r--r--   1 edrx edrx   45080 Oct  4 18:41 postgres.e.html
-rw-r--r--   1 edrx edrx   11917 Oct 21  2021 potato.e
-rw-r--r--   1 edrx edrx   19872 Oct  4 18:41 potato.e.html
-rw-r--r--   1 edrx edrx    5923 Oct 21  2021 potatocds.e
-rw-r--r--   1 edrx edrx   10871 Oct  4 18:41 potatocds.e.html
-rw-r--r--   1 edrx edrx    4607 Aug  8  2021 ppp.e
-rw-r--r--   1 edrx edrx   11191 Oct  4 18:41 ppp.e.html
-rw-r--r--   1 edrx edrx    1877 Jul 21  2024 pratt.e
-rw-r--r--   1 edrx edrx    4053 Oct  4 18:41 pratt.e.html
-rw-r--r--   1 edrx edrx   16032 Jul  3  2024 prince.e
-rw-r--r--   1 edrx edrx   30939 Oct  4 18:41 prince.e.html
-rw-r--r--   1 edrx edrx   32827 Dec 31  2021 print.e
-rw-r--r--   1 edrx edrx   53843 Oct  4 18:41 print.e.html
-rw-r--r--   1 edrx edrx    8397 Aug  8  2021 projeto.e
-rw-r--r--   1 edrx edrx   11812 Oct  4 18:41 projeto.e.html
-rw-r--r--   1 edrx edrx    4985 Apr 29 21:03 prolog.e
-rw-r--r--   1 edrx edrx    9417 Oct  4 18:41 prolog.e.html
-rw-r--r--   1 edrx edrx   72851 Aug  4 01:29 ps.e
-rw-r--r--   1 edrx edrx  142445 Oct  4 18:41 ps.e.html
-rw-r--r--   1 edrx edrx   13651 May 29  2023 pulseaudio.e
-rw-r--r--   1 edrx edrx   24898 Oct  4 18:41 pulseaudio.e.html
-rw-r--r--   1 edrx edrx    3137 Aug  8  2021 puredata.e
-rw-r--r--   1 edrx edrx    5839 Oct  4 18:41 puredata.e.html
-rw-r--r--   1 edrx edrx  181946 Sep  8 01:16 puro.e
-rw-r--r--   1 edrx edrx  282862 Oct  4 18:41 puro.e.html
-rw-r--r--   1 edrx edrx    9790 Nov  1  2024 pygments.e
-rw-r--r--   1 edrx edrx   20961 Oct  4 18:41 pygments.e.html
-rw-r--r--   1 edrx edrx  184796 Sep 23 08:27 python.e
-rw-r--r--   1 edrx edrx  370596 Oct  4 18:41 python.e.html
-rw-r--r--   1 edrx edrx   52293 Mar 30  2025 qdraw.e
-rw-r--r--   1 edrx edrx  113983 Oct  4 18:41 qdraw.e.html
-rw-r--r--   1 edrx edrx   21748 Aug  8  2021 qemu.e
-rw-r--r--   1 edrx edrx   41848 Oct  4 18:41 qemu.e.html
-rw-r--r--   1 edrx edrx    3968 Apr 29 23:21 qrcode.e
-rw-r--r--   1 edrx edrx    8940 Oct  4 18:41 qrcode.e.html
-rw-r--r--   1 edrx edrx   13210 Aug  8  2021 qt.e
-rw-r--r--   1 edrx edrx   22573 Oct  4 18:41 qt.e.html
-rw-r--r--   1 edrx edrx    1802 Aug  8  2021 quadradinho.e
-rw-r--r--   1 edrx edrx    3913 Oct  4 18:41 quadradinho.e.html
-rw-r--r--   1 edrx edrx    8652 Jun  8 01:00 r.e
-rw-r--r--   1 edrx edrx   16862 Oct  4 18:41 r.e.html
-rw-r--r--   1 edrx edrx   26656 May 31 16:21 racket.e
-rw-r--r--   1 edrx edrx   53061 Oct  4 18:41 racket.e.html
-rw-r--r--   1 edrx edrx    9256 Oct 20  2021 raven10.e
-rw-r--r--   1 edrx edrx   11810 Oct  4 18:41 raven10.e.html
-rw-r--r--   1 edrx edrx    8849 Oct 20  2021 raven10b.e
-rw-r--r--   1 edrx edrx   11672 Oct  4 18:41 raven10b.e.html
-rw-r--r--   1 edrx edrx    4264 Feb 15  2024 rcd.e
-rw-r--r--   1 edrx edrx    8176 Oct  4 18:41 rcd.e.html
-rw-r--r--   1 edrx edrx   32640 Oct  6  2024 rcirc.e
-rw-r--r--   1 edrx edrx   61421 Oct  4 18:41 rcirc.e.html
-rw-r--r--   1 edrx edrx    4472 Jan 20  2023 rebol.e
-rw-r--r--   1 edrx edrx    7101 Oct  4 18:41 rebol.e.html
-rw-r--r--   1 edrx edrx    2476 Feb 25  2020 recutils.e
-rw-r--r--   1 edrx edrx    4628 Oct  4 18:41 recutils.e.html
-rw-r--r--   1 edrx edrx   10970 Oct 21  2022 reddit.e
-rw-r--r--   1 edrx edrx   15493 Oct  4 18:41 reddit.e.html
-rw-r--r--   1 edrx edrx   37254 Oct 21  2021 redhat.e
-rw-r--r--   1 edrx edrx   50212 Oct  4 18:41 redhat.e.html
-rw-r--r--   1 edrx edrx   11717 Oct 20  2021 rest.e
-rw-r--r--   1 edrx edrx   15584 Oct  4 18:41 rest.e.html
-rw-r--r--   1 edrx edrx    3052 Aug  8  2021 retro.e
-rw-r--r--   1 edrx edrx    6397 Oct  4 18:41 retro.e.html
-rw-r--r--   1 edrx edrx   33981 Mar 21  2022 rexx.e
-rw-r--r--   1 edrx edrx   94151 Oct  4 18:41 rexx.e.html
-rw-r--r--   1 edrx edrx    2491 Oct 21  2021 rpm.e
-rw-r--r--   1 edrx edrx    4797 Oct  4 18:41 rpm.e.html
-rw-r--r--   1 edrx edrx    3193 Jan 26  2025 rss.e
-rw-r--r--   1 edrx edrx    6491 Oct  4 18:41 rss.e.html
-rw-r--r--   1 edrx edrx    2942 Aug  8  2021 rst.e
-rw-r--r--   1 edrx edrx    5750 Oct  4 18:41 rst.e.html
-rw-r--r--   1 edrx edrx    2958 Sep 19 14:03 rsync.e
-rw-r--r--   1 edrx edrx    6876 Oct  4 18:41 rsync.e.html
-rw-r--r--   1 edrx edrx   70959 Jun 16 20:49 ruby.e
-rw-r--r--   1 edrx edrx  124424 Oct  4 18:41 ruby.e.html
-rw-r--r--   1 edrx edrx   13846 Aug  8  2021 rubyforth.e
-rw-r--r--   1 edrx edrx   27753 Oct  4 18:41 rubyforth.e.html
-rw-r--r--   1 edrx edrx    3640 Sep  7 23:05 rust.e
-rw-r--r--   1 edrx edrx    6737 Oct  4 18:41 rust.e.html
-rw-r--r--   1 edrx edrx    4126 May 10  2022 sage.e
-rw-r--r--   1 edrx edrx    6559 Oct  4 18:41 sage.e.html
-rw-r--r--   1 edrx edrx    1639 Aug  8  2021 samba.e
-rw-r--r--   1 edrx edrx    2892 Oct  4 18:41 samba.e.html
-rw-r--r--   1 edrx edrx    2576 Aug  8  2021 scala.e
-rw-r--r--   1 edrx edrx    5176 Oct  4 18:41 scala.e.html
-rw-r--r--   1 edrx edrx   27888 Aug 22  2022 scan.e
-rw-r--r--   1 edrx edrx   61742 Oct  4 18:41 scan.e.html
-rw-r--r--   1 edrx edrx   29671 Sep 15 16:31 scheme.e
-rw-r--r--   1 edrx edrx   64327 Oct  4 18:41 scheme.e.html
-rw-r--r--   1 edrx edrx   19245 Aug  8  2021 scintilla.e
-rw-r--r--   1 edrx edrx   35194 Oct  4 18:41 scintilla.e.html
-rw-r--r--   1 edrx edrx    7286 Aug  8  2021 screen.e
-rw-r--r--   1 edrx edrx   12869 Oct  4 18:41 screen.e.html
-rw-r--r--   1 edrx edrx   23443 Dec 13  2024 screencasts.e
-rw-r--r--   1 edrx edrx   51379 Oct  4 18:41 screencasts.e.html
-rw-r--r--   1 edrx edrx    7096 Aug  8  2021 scribus.e
-rw-r--r--   1 edrx edrx   12670 Oct  4 18:41 scribus.e.html
-rw-r--r--   1 edrx edrx    4858 Aug  8  2021 sdl.e
-rw-r--r--   1 edrx edrx   10452 Oct  4 18:41 sdl.e.html
-rw-r--r--   1 edrx edrx    2102 Oct 18  2021 self.e
-rw-r--r--   1 edrx edrx    3710 Oct  4 18:41 self.e.html
-rw-r--r--   1 edrx edrx    1650 Sep 17 16:29 setl.e
-rw-r--r--   1 edrx edrx    3301 Oct  4 18:41 setl.e.html
-rw-r--r--   1 edrx edrx   10635 Sep  8 01:14 sh.e
-rw-r--r--   1 edrx edrx   27735 Oct  4 18:41 sh.e.html
-rw-r--r--   1 edrx edrx    5868 Jul 13  2021 shibari.e
-rw-r--r--   1 edrx edrx   11159 Oct  4 18:41 shibari.e.html
-rw-r--r--   1 edrx edrx    3874 Oct 19  2024 show-conses.e
-rw-r--r--   1 edrx edrx    6893 Oct  4 18:41 show-conses.e.html
-rw-r--r--   1 edrx edrx    2182 Sep  3  2023 show2.e
-rw-r--r--   1 edrx edrx    4841 Oct  4 18:41 show2.e.html
-rw-r--r--   1 edrx edrx    3393 Mar 31  2024 sixel.e
-rw-r--r--   1 edrx edrx    6722 Oct  4 18:41 sixel.e.html
-rw-r--r--   1 edrx edrx    2996 Aug  8  2021 skype.e
-rw-r--r--   1 edrx edrx    6467 Oct  4 18:41 skype.e.html
-rw-r--r--   1 edrx edrx    3327 Aug  8  2021 slackware.e
-rw-r--r--   1 edrx edrx    4827 Oct  4 18:41 slackware.e.html
-rw-r--r--   1 edrx edrx    3692 Sep 27 15:11 slime.e
-rw-r--r--   1 edrx edrx    7322 Oct  4 18:41 slime.e.html
-rw-r--r--   1 edrx edrx    2983 Sep 19  2024 slink.e
-rw-r--r--   1 edrx edrx    4593 Oct  4 18:41 slink.e.html
-rw-r--r--   1 edrx edrx   25211 May 15 06:29 smalltalk.e
-rw-r--r--   1 edrx edrx   59135 Oct  4 18:41 smalltalk.e.html
-rw-r--r--   1 edrx edrx    2671 Aug  6  2020 snap.e
-rw-r--r--   1 edrx edrx    6066 Oct  4 18:41 snap.e.html
-rw-r--r--   1 edrx edrx    4193 Oct  1  2020 snarf.e
-rw-r--r--   1 edrx edrx    6867 Oct  4 18:41 snarf.e.html
-rw-r--r--   1 edrx edrx    2608 Dec 25  2020 snd.e
-rw-r--r--   1 edrx edrx    5860 Oct  4 18:41 snd.e.html
-rw-r--r--   1 edrx edrx    6256 Sep 17 16:39 snobol4.e
-rw-r--r--   1 edrx edrx   12947 Oct  4 18:41 snobol4.e.html
-rw-r--r--   1 edrx edrx   13000 Sep 29  2022 sound.e
-rw-r--r--   1 edrx edrx   27743 Oct  4 18:41 sound.e.html
-rw-r--r--   1 edrx edrx    9847 Sep  5 22:38 speech.e
-rw-r--r--   1 edrx edrx   21107 Oct  4 18:41 speech.e.html
-rw-r--r--   1 edrx edrx    4288 Sep 19  2022 sphinx.e
-rw-r--r--   1 edrx edrx    9926 Oct  4 18:41 sphinx.e.html
-rw-r--r--   1 edrx edrx   14271 Jun 17 00:43 sql.e
-rw-r--r--   1 edrx edrx   23681 Oct  4 18:41 sql.e.html
-rw-r--r--   1 edrx edrx   42538 May 11 11:42 sqlite.e
-rw-r--r--   1 edrx edrx   86536 Oct  4 18:41 sqlite.e.html
-rw-r--r--   1 edrx edrx  100749 Apr 14 20:05 squeak.e
-rw-r--r--   1 edrx edrx  169626 Oct  4 18:41 squeak.e.html
-rw-r--r--   1 edrx edrx    4628 Nov 23  2021 srf.e
-rw-r--r--   1 edrx edrx    8345 Oct  4 18:41 srf.e.html
-rw-r--r--   1 edrx edrx    3797 May 18 10:24 srht.e
-rw-r--r--   1 edrx edrx    8283 Oct  4 18:41 srht.e.html
-rw-r--r--   1 edrx edrx   27489 Sep 19 13:50 ssh.e
-rw-r--r--   1 edrx edrx   57518 Oct  4 18:41 ssh.e.html
-rw-r--r--   1 edrx edrx   12181 Aug  1  2021 stack.e
-rw-r--r--   1 edrx edrx   25143 Oct  4 18:41 stack.e.html
-rw-r--r--   1 edrx edrx    2099 Oct 23  2022 stackexchange.e
-rw-r--r--   1 edrx edrx    4061 Oct  4 18:41 stackexchange.e.html
-rw-r--r--   1 edrx edrx    2531 Nov  8  2024 strace.e
-rw-r--r--   1 edrx edrx    5607 Oct  4 18:41 strace.e.html
-rw-r--r--   1 edrx edrx    1913 Aug 29  2022 stumpwm.e
-rw-r--r--   1 edrx edrx    3753 Oct  4 18:41 stumpwm.e.html
-rw-r--r--   1 edrx edrx   15548 May 11  2024 subtitles.e
-rw-r--r--   1 edrx edrx   35000 Oct  4 18:41 subtitles.e.html
-rw-r--r--   1 edrx edrx    4498 Jan 22  2023 sudo.e
-rw-r--r--   1 edrx edrx    9492 Oct  4 18:41 sudo.e.html
-rw-r--r--   1 edrx edrx    1414 Aug  8  2021 suspend.e
-rw-r--r--   1 edrx edrx    2540 Oct  4 18:41 suspend.e.html
-rw-r--r--   1 edrx edrx   12872 Aug 24 20:18 svg.e
-rw-r--r--   1 edrx edrx   23710 Oct  4 18:41 svg.e.html
-rw-r--r--   1 edrx edrx    6420 Oct 12  2021 sweetjane.e
-rw-r--r--   1 edrx edrx   11278 Oct  4 18:41 sweetjane.e.html
-rw-r--r--   1 edrx edrx   16898 Aug  8  2021 swig.e
-rw-r--r--   1 edrx edrx   27234 Oct  4 18:41 swig.e.html
-rw-r--r--   1 edrx edrx   57623 Feb 28  2024 sympy.e
-rw-r--r--   1 edrx edrx  109078 Oct  4 18:41 sympy.e.html
-rw-r--r--   1 edrx edrx    6522 Aug  8  2021 syslinux.e
-rw-r--r--   1 edrx edrx   12249 Oct  4 18:41 syslinux.e.html
-rw-r--r--   1 edrx edrx    3413 Feb 28  2024 systemd.e
-rw-r--r--   1 edrx edrx    6754 Oct  4 18:41 systemd.e.html
-rw-r--r--   1 edrx edrx    4761 Feb 21  2020 tallin.e
-rw-r--r--   1 edrx edrx    6007 Oct  4 18:41 tallin.e.html
-rw-r--r--   1 edrx edrx   35140 Oct 21  2021 tcl-cipsga.e
-rw-r--r--   1 edrx edrx   48112 Oct  4 18:41 tcl-cipsga.e.html
-rw-r--r--   1 edrx edrx  150684 Aug  4 01:09 tcl.e
-rw-r--r--   1 edrx edrx  281279 Oct  4 18:41 tcl.e.html
-rw-r--r--   1 edrx edrx    2766 Oct 20  2021 tcsh.e
-rw-r--r--   1 edrx edrx    5443 Oct  4 18:41 tcsh.e.html
-rw-r--r--   1 edrx edrx    3951 Feb 21  2020 td.e
-rw-r--r--   1 edrx edrx    8729 Oct  4 18:41 td.e.html
-rw-r--r--   1 edrx edrx    3720 Aug  8  2021 teamspeak.e
-rw-r--r--   1 edrx edrx    7543 Oct  4 18:41 teamspeak.e.html
-rw-r--r--   1 edrx edrx   20620 Aug 31 09:24 telega.e
-rw-r--r--   1 edrx edrx   33098 Oct  4 18:41 telega.e.html
-rw-r--r--   1 edrx edrx    9828 Aug 13 13:09 telegram.e
-rw-r--r--   1 edrx edrx   18493 Oct  4 18:41 telegram.e.html
-rw-r--r--   1 edrx edrx    1782 Oct 28  2024 teliva.e
-rw-r--r--   1 edrx edrx    3572 Oct  4 18:41 teliva.e.html
-rw-r--r--   1 edrx edrx   12508 Jun  6  2024 termux.e
-rw-r--r--   1 edrx edrx   24927 Oct  4 18:41 termux.e.html
-rw-r--r--   1 edrx edrx    2766 Oct 11  2021 terra.e
-rw-r--r--   1 edrx edrx    6112 Oct  4 18:41 terra.e.html
-rw-r--r--   1 edrx edrx    2727 Oct 21  2021 tese.e
-rw-r--r--   1 edrx edrx    4325 Oct  4 18:41 tese.e.html
-rw-r--r--   1 edrx edrx    4338 Jun  8  2024 tesevictor.e
-rw-r--r--   1 edrx edrx    8375 Oct  4 18:41 tesevictor.e.html
-rw-r--r--   1 edrx edrx  495915 Aug  2 14:16 tex.e
-rw-r--r--   1 edrx edrx  926127 Oct  4 18:41 tex.e.html
-rw-r--r--   1 edrx edrx   35921 Jan 18  2025 texinfo.e
-rw-r--r--   1 edrx edrx   82833 Oct  4 18:41 texinfo.e.html
-rw-r--r--   1 edrx edrx    3836 Aug  4 00:15 texlive.e
-rw-r--r--   1 edrx edrx    8729 Oct  4 18:41 texlive.e.html
-rw-r--r--   1 edrx edrx    1817 Mar 24  2022 textadept.e
-rw-r--r--   1 edrx edrx    3587 Oct  4 18:41 textadept.e.html
-rw-r--r--   1 edrx edrx  145552 Apr 14  2024 tikz.e
-rw-r--r--   1 edrx edrx  303511 Oct  4 18:41 tikz.e.html
-rw-r--r--   1 edrx edrx    3875 May  3 05:12 tinycore.e
-rw-r--r--   1 edrx edrx    7467 Oct  4 18:41 tinycore.e.html
-rw-r--r--   1 edrx edrx    3692 Feb 21  2020 tmp.e
-rw-r--r--   1 edrx edrx    7182 Oct  4 18:41 tmp.e.html
-rw-r--r--   1 edrx edrx    1626 Oct 20  2021 todo.e
-rw-r--r--   1 edrx edrx    2743 Oct  4 18:41 todo.e.html
-rw-r--r--   1 edrx edrx    4127 Oct 21  2021 tomsrtbt.e
-rw-r--r--   1 edrx edrx    6710 Oct  4 18:41 tomsrtbt.e.html
-rw-r--r--   1 edrx edrx    2025 Oct 20  2021 tourism.e
-rw-r--r--   1 edrx edrx    4219 Oct  4 18:41 tourism.e.html
-rw-r--r--   1 edrx edrx    5126 Sep 21 21:22 tramp.e
-rw-r--r--   1 edrx edrx   12960 Oct  4 18:41 tramp.e.html
-rw-r--r--   1 edrx edrx    4592 Oct 20  2021 transp.e
-rw-r--r--   1 edrx edrx    5954 Oct  4 18:41 transp.e.html
-rw-r--r--   1 edrx edrx    2430 Feb 21  2020 travis-ci.e
-rw-r--r--   1 edrx edrx    4901 Oct  4 18:41 travis-ci.e.html
-rw-r--r--   1 edrx edrx    5081 May 23 18:45 treesit.e
-rw-r--r--   1 edrx edrx   10163 Oct  4 18:41 treesit.e.html
-rw-r--r--   1 edrx edrx   12902 Aug  8  2021 trisquel.e
-rw-r--r--   1 edrx edrx   27303 Oct  4 18:41 trisquel.e.html
-rw-r--r--   1 edrx edrx    1362 Mar  6  2024 tumblr.e
-rw-r--r--   1 edrx edrx    2487 Oct  4 18:41 tumblr.e.html
-rw-r--r--   1 edrx edrx    3809 Jan  1  2023 twitter.e
-rw-r--r--   1 edrx edrx    9063 Oct  4 18:41 twitter.e.html
-rw-r--r--   1 edrx edrx    4424 Mar 31  2020 types.e
-rw-r--r--   1 edrx edrx    7241 Oct  4 18:41 types.e.html
-rw-r--r--   1 edrx edrx    2028 Sep 28 10:41 typst.e
-rw-r--r--   1 edrx edrx    3942 Oct  4 18:41 typst.e.html
-rw-r--r--   1 edrx edrx    1291 Aug  8  2021 u.e
-rw-r--r--   1 edrx edrx    5234 Oct  4 18:41 u.e.html
-rw-r--r--   1 edrx edrx   31377 Sep 24  2024 ubuntu.e
-rw-r--r--   1 edrx edrx   64803 Oct  4 18:41 ubuntu.e.html
-rw-r--r--   1 edrx edrx   27433 Jul 27 11:11 unix.e
-rw-r--r--   1 edrx edrx   71728 Oct  4 18:41 unix.e.html
-rw-r--r--   1 edrx edrx    8844 Oct 21  2021 usermodelinux.e
-rw-r--r--   1 edrx edrx   15811 Oct  4 18:41 usermodelinux.e.html
-rw-r--r--   1 edrx edrx   12209 Apr 18 20:43 vi.e
-rw-r--r--   1 edrx edrx   24400 Oct  4 18:41 vi.e.html
-rw-r--r--   1 edrx edrx   16247 Aug  8  2021 video.e
-rw-r--r--   1 edrx edrx   33941 Oct  4 18:41 video.e.html
-rw-r--r--   1 edrx edrx    8590 Aug  8  2021 virtua.e
-rw-r--r--   1 edrx edrx   13724 Oct  4 18:41 virtua.e.html
-rw-r--r--   1 edrx edrx    7319 Jan 12  2024 vlc.e
-rw-r--r--   1 edrx edrx   14551 Oct  4 18:41 vlc.e.html
-rw-r--r--   1 edrx edrx   13534 Jan 15  2023 vnc.e
-rw-r--r--   1 edrx edrx   28321 Oct  4 18:41 vnc.e.html
-rw-r--r--   1 edrx edrx    1424 Mar 18  2022 vpn.e
-rw-r--r--   1 edrx edrx    2630 Oct  4 18:41 vpn.e.html
-rw-r--r--   1 edrx edrx   59665 Aug 11 16:48 w32.e
-rw-r--r--   1 edrx edrx  122728 Oct  4 18:41 w32.e.html
-rw-r--r--   1 edrx edrx   21179 Apr  8 00:41 wget.e
-rw-r--r--   1 edrx edrx   45426 Oct  4 18:41 wget.e.html
-rw-r--r--   1 edrx edrx    1883 Aug  8  2021 wifi.e
-rw-r--r--   1 edrx edrx    3058 Oct  4 18:41 wifi.e.html
-rw-r--r--   1 edrx edrx   40321 Aug  8  2021 wiki.e
-rw-r--r--   1 edrx edrx   70162 Oct  4 18:41 wiki.e.html
-rw-r--r--   1 edrx edrx    2922 Apr  4  2024 wine.e
-rw-r--r--   1 edrx edrx    6417 Oct  4 18:41 wine.e.html
-rw-r--r--   1 edrx edrx   10990 Sep 28  2024 wordpress.e
-rw-r--r--   1 edrx edrx   21922 Oct  4 18:41 wordpress.e.html
-rw-r--r--   1 edrx edrx  134643 Aug  1 00:23 x.e
-rw-r--r--   1 edrx edrx  261989 Oct  4 18:41 x.e.html
-rw-r--r--   1 edrx edrx    4254 Aug  8  2021 xen.e
-rw-r--r--   1 edrx edrx    6996 Oct  4 18:41 xen.e.html
-rw-r--r--   1 edrx edrx    8685 Dec 15  2024 xfce.e
-rw-r--r--   1 edrx edrx   16943 Oct  4 18:41 xfce.e.html
-rw-r--r--   1 edrx edrx    2966 Jun 22 16:18 xml.e
-rw-r--r--   1 edrx edrx    6570 Oct  4 18:41 xml.e.html
-rw-r--r--   1 edrx edrx    3061 Dec 31  2021 xmpp.e
-rw-r--r--   1 edrx edrx    6833 Oct  4 18:41 xmpp.e.html
-rw-r--r--   1 edrx edrx    5346 May 30  2022 xournal.e
-rw-r--r--   1 edrx edrx   11840 Oct  4 18:41 xournal.e.html
-rw-r--r--   1 edrx edrx   14128 Oct 21  2021 xxx-server.e
-rw-r--r--   1 edrx edrx   24154 Oct  4 18:41 xxx-server.e.html
-rw-r--r--   1 edrx edrx   36890 Aug  8  2021 xypic.e
-rw-r--r--   1 edrx edrx   61857 Oct  4 18:41 xypic.e.html
-rw-r--r--   1 edrx edrx    2074 Aug  8  2021 yad.e
-rw-r--r--   1 edrx edrx    4057 Oct  4 18:41 yad.e.html
-rw-r--r--   1 edrx edrx   10858 Oct 20  2021 yard.e
-rw-r--r--   1 edrx edrx   15035 Oct  4 18:41 yard.e.html
-rw-r--r--   1 edrx edrx    3095 Feb 21  2020 yelp.e
-rw-r--r--   1 edrx edrx    7194 Oct  4 18:41 yelp.e.html
-rw-r--r--   1 edrx edrx   47017 Sep 20 08:22 youtube.e
-rw-r--r--   1 edrx edrx   97122 Oct  4 18:41 youtube.e.html
-rw-r--r--   1 edrx edrx    4713 Oct 24  2022 zig.e
-rw-r--r--   1 edrx edrx    6967 Oct  4 18:41 zig.e.html
-rw-r--r--   1 edrx edrx   29257 Jun 11 23:32 zsh.e
-rw-r--r--   1 edrx edrx   60992 Oct  4 18:41 zsh.e.html
-rw-r--r--   1 edrx edrx    1680 May 31  2022 zulip.e
-rw-r--r--   1 edrx edrx    3216 Oct  4 18:41 zulip.e.html