On Thu, Apr 18, 2024 at 11:29:20PM GMT, Solene Rapenne wrote:
> this updates kristall to latest commit
> 
> not sure if we want to keep it, we have
> many good gemini browsers nowadays and with
> much less dependencies than this one

on a second thought, I propose we remove this port