is pgsharp banned