I also wrote a blog on installing Haven. It's a little dated but may be helpful. nostr:naddr1qqyrscmpxcurswpeqyt8wumn8ghj7mn0wd68yetvd96x2uewdaexwtczyqda5lslwwttmgk3a7vsx0dgl5kuxc5pq7gdlxlx9av3qw9mjlzdjqcyqqq823chs700q