use pretty URLs for more tools; improved URL handling.