3eede6f64b
Port front-end changes from 0d117c106a to glitch-soc
Signed-off-by: Thibaut Girka <thib@sitedethib.com>