Good point. Either the editor or its user :) Do you btw have some automated checks for these formatting issues? I would be interested in learning to use these.