diff --git a/doc/internal/explorer-ideas b/doc/internal/explorer-implementation-ideas
similarity index 100%
rename from doc/internal/explorer-ideas
rename to doc/internal/explorer-implementation-ideas