DotPlot.jl was renamed to TextPlots.jl

also harmonize number of blank lines around section headers