Migrations add_index

Hi all,

If I have the following migration:

class CreateDocuments < ActiveRecord::Migration
  def self.up
    create_table :documents do |t|
      t.column :created_at, :datetime
      t.column :identifier, :string
      t.column :file_format, :string
    end

    add_index :documents, :identifier, :unique => true
  end

  def self.down
    remove_index :documents, :identifier
    drop_table :documents
  end
end

Is it necessary (or recommended) to include the remove_index line in
the self.down method? I realize that dropping a table in MySQL will
automatically drop any indices on the table. However, I'm not sure if
this is the case for all databases. So would it be considered "good
style" to include the remove_index even though it's normally a bit
redundant?