A blog about setting this up and random nonsense.
I also managed to replace the favicon for the blog as described here.
Published: 2022-11-22
Tagged: ides