A debian-based linux distro that recently announced EOL: https://news.ycombinator.com/item?id=9008776 https://news.ycombinator.com/item?id=9008776 Edit: It see

A debian-based linux distro that recently announced EOL: https://news.ycombinator.com/item?id=9008776 https://news.ycombinator.com/item?id=9008776 Edit: It seems #!++ is a successor to #!, likely by a different maintainer. The OP mentions differences include a new theme and being based on debian jessie, whereas the last #! was based on wheezy.