Skip to content

Fix skimming and a few other minor things

Hi @miochoa: few last changes.

Merge request reports