vinyl-0.12.1: Extensible Records