Dasher 4.5.2 ============ * Various incremental changes * Several bugfixes ============