I had deactivated an extension yesterday, but it still appears on Extension Warehouse search results. Does it correct?