Public pi extension and skill for contributing upstream to badlogic/pi-mono without wasting maintainer time - View it on GitHub