Release v3.5.1; see README for details