`$_GET` also needs `stripslashes_deep()`