Drupal tip: module, theme naming collisions

I recently encountered an issue that may or may not be well known: apparently Drupal modules and themes can't have the same names. If they do, there will be at least one naming collision.