[post] Add out-of-date note + "site update" news

It's slowly but surely happening. Hopefully the disclaimer should reduce
confusion, and having a "we're now actually working on it" is hopefully
reassuring.

Author: CodingCellist

src/content/pages/download.rst

@@ -1,6 +1,15 @@
 Download
 ========
 
+
+*IMPORTANT: The Idris website and install instructions are out of date. We are
+working on rectifying this as soon as possible. In the meantime, for installing
+you will likely want to use*
+`pack <https://github.com/stefan-hoeck/idris2-pack>`__,
+*and for up-to-date information, please see the*
+`Idris2 GitHub Repository <https://github.com/idris-lang/Idris2/>`__.
+
+
 Idris 2
 -------
 

src/content/pages/index.rst

@@ -9,6 +9,18 @@ Idris: A Language for Type-Driven Development
 ..   :alt: [Shape Sorter Box]
 ..   :align: right
 
+
+-----
+
+*IMPORTANT: The Idris website and install instructions are out of date. We are
+working on rectifying this as soon as possible. In the meantime, for installing
+you will likely want to use*
+`pack <https://github.com/stefan-hoeck/idris2-pack>`__,
+*and for up-to-date information, please see the*
+`Idris2 GitHub Repository <https://github.com/idris-lang/Idris2/>`__.
+
+-----
+
 Idris is a programming language designed to encourage *Type-Driven
 Development*.
 

src/content/posts/working-on-idris-website.rst

@@ -0,0 +1,24 @@
+We're Working on the Idris Website
+##################################
+
+:date: 2025-07-11 16:47
+:tags: meta
+:category: News
+:author: CodingCellist
+
+As has been pointed out on the Discord, on Mastodon, and GitHub, the Idris
+website is severely out of date. Getting it to a more easily maintainable point
+has been on the todo-list for a while now, but there has been many complications
+and other priorities, especially since nobody was paid full-time to sort any of
+it out.  Until now.
+
+I'm not promising it'll be done tomorrow or anything like that, but I *am*
+working on it. For now, there's a banner on the front and download pages of the
+site at least acknowledging things are old and pointing people to more
+up-to-date resources; I'm hoping that'll mitigate some of the continuous
+confusion.
+
+I hope that knowing there is a plan is reassuring. I can't give an exact
+timeline, but expect improvements to come in the next couple of months. (For
+starters, the GitHub Pages workflow is no longer bitrotted and the site actually
+builds again; it's been *a while* since any of us looked at this...)