pgsharp ban 2024 update