e25b7feb72
Port front-end changes from b359974d9b to glitch-soc
Signed-off-by: Thibaut Girka <thib@sitedethib.com>