purple 456319064b Ask identifier and name for -init		2023-05-12 09:59:31 +02:00
..
extensions	"defaults" are now in .storage	2023-05-10 12:10:58 +02:00
init	Ask identifier and name for -init	2023-05-12 09:59:31 +02:00