Renames commented module so as to preserve code highlighting on GitHub.