compare with simon's darcsden

General updates to darcsden for submission to mainline darcsden (fork of simon's darcsden)

simon's darcsden	ganesh's darcsden
	No new patches.
cabal: regenerate simon Sun Aug 6 09:56:33 UTC 2023	-
drop hie.yaml simon Sun Aug 6 09:56:15 UTC 2023	-
Use darcs’s primary logo color as theme-color toastal Sat Jul 8 04:47:12 UTC 2023	-