100644 blob 776ffdbed271b71781f01c881f43fb535edb8902	altformats.csv
100644 blob 60612c5b1e4fe8889adae8835fbfb582e2c94978	comments.csv
100644 blob e71485890f553d8732856b9df15d6aa30ca5d2f6	examples.csv
100644 blob ea24bab3cc38ab3424668b8e41d72609f8f4293b	formats.csv
100644 blob 7070005bbc65c7108d28e0cd7b2c8e7049af83a4	operators.csv
100644 blob f3dfbe97a8be37701b8f0c934ab401ba694f9ac9	ranges.csv
100644 blob dc9e05d43fd05f1a642410c035c7e66d8b251e30	shortcodes.csv