Fix #155: Vanguard card names no longer conflict with regular card names.

This would require a re-run of Oracle, of course.