<?php

	header("Location: https://github.com/search?q=topic%3Auserscript+user%3AReimarPB");