I don't think a doc from kernel should point to the IEx.Options since the dependency goes in the opposite direction (IEx depends on Kernel). :)