trex-jungle-book Jungle Book Extension Run "python -m SimpleHTTPServer 8457" to use this extension after copying the trex file into the Extensions folder