Until GAUGE matures, attempting to maintain this file would be futile.