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