100644 blob c00b2b17d64f454b0dbf2349ea13042dd0fff9ae	comments.csv
100644 blob 5135511e8e8674720fcf1f48563a474ed98a9db9	examples.csv
100644 blob 166e67f3299564498a671ad9f6c026fdaab332a7	formats.csv
100644 blob 47c5f43ec1cd2866bbedefeced613284ef9b4378	operators.csv
100644 blob 5db20a8ec61ead68e0429b6ba7a506d562c37e14	ranges.csv
100644 blob 1d7ac13106c059a38ad5dcccd8ce6798f2a58390	shortcodes.csv