9.3 release docs: fix DROP TABLE IF EXISTS
Patch from Joe Abbate.