Hacker News Reader

ah, thank you! I couldn't find anything on the website itself, should have thought to look at the code.

It is indicated in the last paragraph of the FAQ: https://dada-lang.org/docs/about/faq (It is indeed hard to find though!)