Post #1765212

@ids1024 imo because they are so inconvenient, end notes should be used to signal ”Don’t read these unless you absolutely need to!” This includes citations, but also pedantic notes that are necessary for completeness, but irrelevant to most readers