return [[
(Built-in variables)
::alias 👁️ = "seen"
::alias 🔖 = "checkpoint"
::alias 🏁 = "reached"
]]