100644 blob 6b5af36eebe55ed95d724e35cf123c3e8bac17bb	altformats.csv
100644 blob 953d4ee5a5ee84fc10bcaf1a1f2214794da772dd	comments.csv
100644 blob 7471ea2e85e3e69547a9b3276e25706a436a4e11	examples.csv
100644 blob e91a82e3faad7c5ca9fa498b4e387558cd24bc9a	formats.csv
100644 blob b599aac2ed19c82ce8ab37bb08570bca643eaa54	operators.csv
100644 blob 1e5648d09f05e54cc8cf735ba11cd957f9af0a54	ranges.csv
100644 blob f93aba004d06025513605fe9ab04ecdf878208a8	shortcodes.csv