txti - Fast web pages for everybody