are the 'starred' posts in history saved as a group somewhe… TheWildCard · July 5, 2024 are the 'starred' posts in history saved as a group somewhere?