@michal_h21 @rugk @kirschwipfel The # symbol becomes quite a disaster when you need to pass it in an argument to a custom command that prints the # and also sends it to another command where # must be unescaped (like \url{}). In that case, it's broken if you pass "\#" and also if you pass "#"