New prerelease 1 (on top of 3.87)
Cosmetics/trivial fixes (new release 3.88)