public TextReader GetHotTextReader() { return new PullingReader (new PullingReader.Pull (PullHotText)); }