- architecture names\footnote{Technically, it is allowed when using
- extended identifiers, but it seems that none of the tooling likes
- extended identifiers in filenames, so it effectively doesn't work}, so
- the entity would be called \quote{w7aA7f} or something similarly
- unreadable and autogenerated).
+ architecture names\footnote{Technically, it is allowed to use
+ non-alphanumerics when using extended identifiers, but it seems that
+ none of the tooling likes extended identifiers in filenames, so it
+ effectively doesn't work}, so the entity would be called
+ \quote{w7aA7f} or something similarly unreadable and autogenerated).