Remove "Proxy" from name#25

Open

ale5000-git wants to merge 1 commit intomicrog:masterfrom

micro5k:patch-name

Commits on Jun 1, 2025

Remove "Proxy" from name, this is an implementation detail and it shouldn't be in the name
ale5000-git
committed