incremental improvement in ~~ documentation, already in maint-5.10