Add a note about auto_spec in README