An arts and entertainment district in Oviedo may go by another name, and it isn't finished being voted on by the city, but ...