[hailt]

I also immediately think of this book. Also the main character of the jumping spider species in the book is called Portia, likely refer to the same species in the article.

[EdwardDiego]

Yep, origin of the name.