That is fantastic. I wrote a brief history of web browsers/engines as part of an article a while ago [1] and noticed that tons of smaller browsers were hardly referenced, difficult to get information on due to link-rot, and had very little information available if there was anything surviving.
This looks like the opening to a wonderful rabbit hole for me to dive down this weekend. Cheers!
[1]: https://vale.rocks/posts/everything-is-chrome