diff --git a/user-side-subtype-checking-methods.md b/docs/user-side-subtype-checking-methods.md
similarity index 100%
rename from user-side-subtype-checking-methods.md
rename to docs/user-side-subtype-checking-methods.md