document jedi keys