Citing mathlib4 & mathport

Stream: mathlib4

[Alex Keizer]

I saw the previous discussion around citing mathlib (https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Citing.20lean.20.2B.20mathlib), and was wondering if there is a preferred way of referring to mathlib4 and mathport, specifically