v0.1.4.2: update INFO.md