I get the same counts from these:
SELECT COUNT(*) FROM "users" WHERE admin
SELECT COUNT(*) FROM "users" WHERE admin IS TRUE
Are they equivalent or are there subtle or not-so-subtle differences?
Is one preferred, perhaps for cross-engine compatibility?