fix: avoid duplicate pages information (#265)

* fix: avoid duplicate pages information

Use set and then convert back to list in order
to avoid duplicate page message

* fix: remove unecessary casting to list

Author: sellisd

tldr.py

@@ -209,7 +209,7 @@ def get_platform() -> str:
 
 
 def get_platform_list() -> List[str]:
-    platforms = ['common'] + list(OS_DIRECTORIES.values())
+    platforms = ['common'] + list(set(OS_DIRECTORIES.values()))
     current_platform = get_platform()
     platforms.remove(current_platform)
     platforms.insert(0, current_platform)