Howdy! I realized that it would be nice if, in ‘check-description-style’, all the tests except ‘check-not-empty’ and ‘check-texinfo-markup’ would run on the rendered but non-translated description (and of course, only if the Texinfo markup is valid.)
WDYT? In the same area, I think ‘check-proper-start’ should accept quotation marks at the beginning. (This came to mind as I wrote a description like this: "@code{deferred.el} does foo bar".) Ludo’.