This article refers to P. mirabilis spiderlings as "nymphs". I've never seen this term used for spiders other than tarantulas. Is this correct?