Fixing #2556: finished theming docs, emphasized on the fact that themes are non-redistributable and application-specific