issue #20416: Rename file.
issue #20416: Fix orm privileges and remove MaintainExtension from script.
issue #20416: No need for this priv now.