issue #190: World Menu -> Documentation -> More ... now always points to lively-web.org/documentation