John Livingston e3a61b95b6 Fix #287: add a label before the anonymous nickname prompt.		2024-01-09 16:55:13 +01:00
..
styles	Fix #287: add a label before the anonymous nickname prompt.	2024-01-09 16:55:13 +01:00