closes #1484510: ajax_replace_url should propagate page id (until an underlying api does it automatically
# copyright %(year)s %(author)s, all rights reserved.# contact %(author-web-site)s -- mailto:%(author-email)s#%(long-license)s"""%(distname)s repository side views, usually for notification"""