Rename 'Add dot' to 'Add pointer' and 'Add numbered dot' to 'Add dot'
Preparing release 0.4.1
Back to development: 0.4.2