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