title: Proper way to delete triggers in PostgreSQL
body: <p>Short question...</p>
  
  <p>Must one use the DROP TRIGGER operation:
  <a href="https://www.postgresql.org/docs/9.1/static/sql-droptrigger.html" rel="nofollow noreferrer">https://www.postgresql.org/docs/9.1/static/sql-droptrigger.html</a></p>
  
  <p>Or would simply deleting entries from the pg_trigger table suffice?</p>