That is a great idea and it’s available on GitHub.
They called the UI code PINBALL_GAME_BUTTONS_AND_LIGHTS.agc