it sounds neat but I’m trying to make a faithful editor to the original WHG. While I’d say it’s unlikely that I’d add it, it’s not out of the question because it’s an easy feature.
