rest_proxy.php: added filter for User-Agent