@@ -387,7 +387,7 @@ Urbit OS, also called [Arvo](@/docs/glossary/arvo.md), is our functional and
387deterministic software stack. Arvo is written in [Hoon](@/docs/glossary/hoon.md), our purely functional
387deterministic software stack. Arvo is written in [Hoon](@/docs/glossary/hoon.md), our purely functional
388programming language, which compiles to [Nock](@/docs/glossary/nock.md), a compact bytecode language.
388programming language, which compiles to [Nock](@/docs/glossary/nock.md), a compact bytecode language.
390−Instances of Urbit OS / Arvo, called '[ships](@/docs/glossary/ship.md)',
390+Instances of Urbit OS, called '[ships](@/docs/glossary/ship.md)',
391communicate as peers on what we refer to as “the [Ames](@/docs/glossary/ames.md)
391communicate as peers on what we refer to as “the [Ames](@/docs/glossary/ames.md)
392network.” Using Urbit ID, Urbit OS ships can prove their identities to one
392network.” Using Urbit ID, Urbit OS ships can prove their identities to one