miscellaneous changes in docs
miscellaneous changes in docs

lino-framework/lino,khchine5/lino,khchine5/lino,lsaffre/lino,lino-framework/lino,lsaffre/lino,khchine5/lino,khchine5/lino,lino-framework/lino,lsaffre/lino,lino-framework/lino,lsaffre/lino,lsaffre/lino,khchine5/lino,lino-framework/lino