Markdown tweaks, dist shell tweak