Big fan of this thing. It's one of my favorite places to take friends who visit the Bay Area.
Something that's not mentioned in the article is that the building they occupy is a former warehouse of Marinship, a World War Ⅱ shipyard that made Liberty Ships and T2 oil tankers used to supply fuel in the Pacific Theater: https://en.wikipedia.org/wiki/Marinship
For anyone who wants to see Marinship's full story in motion, here's my HEVC encode of '“Tanker” — 1942–1945 War Time History of Marinship Corporation' https://mega dot nz/file/lgtmlKIA#asrzuwGOxi6l8I5BmgyAxfKkm1zFcxvY4SYS1SxqtZk
See also Marin City, which is the remains of Marinship's on-site worker housing: https://en.wikipedia.org/wiki/Marin_City,_California