[[["Easy to understand","easyToUnderstand","thumb-up"],["Solved my problem","solvedMyProblem","thumb-up"],["Other","otherUp","thumb-up"]],[["Missing the information I need","missingTheInformationINeed","thumb-down"],["Too complicated / too many steps","tooComplicatedTooManySteps","thumb-down"],["Out of date","outOfDate","thumb-down"],["Samples / code issue","samplesCodeIssue","thumb-down"],["Other","otherDown","thumb-down"]],["Last updated 2023-10-06 UTC."],[[["`List.cat()` combines the elements of two lists into a new, single list, preserving the original order of elements."],["It accepts two arguments: the initial list (`this`) and the list to append (`other`), both of type `List`."],["The function returns a new `List` containing all elements from both input lists."],["`List.cat()` handles empty lists gracefully, returning the non-empty list if one is empty, or an empty list if both are empty."]]],[]]