Release v3.5.5; see README for details