[m-rev.] for review: delete prolog.is

[Julien Fischer]

On Sat, 5 Oct 2024 at 17:03, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:
>
> We agreed on this almost a decade ago, but forgot to
> actually do it. If anyone objects now, speak up in the next
> day or so.

That's fine -- I thought we *had* deleted it a decade ago.

Julien.