UrWeb: track urweb's version, improve comments