A package of awesome Panel extensions. Provided by awesome-panel.org
pip install awesome-panel-extensions