v0.3.1 protected

Ben Frank

@benfrank

28a1154b · Version 0.3.1 (only for fixed INS CTAN upload) · Sep 20, 2018

This fixes a corrupted INS file.