Future of lucid

[Simon Jakobi]

Hi!

I recently noticed that the issue tracker for the lucid package at

https://github.com/chrisdone/lucid

has been disabled. Does this have any implications for the future
maintenance of the package? Is anyone still committed to maintaining
the package?

(I've CC'd Oleg who made the most recent commit to the repo.)

The context for my question is that we'd like to use lucid for the
Dhall documentation generator that is being developed as a part of
this year's GSoC.

Thanks!
Simon