Nah, just that red banner will be great. "Devsite devsite devsite" or something.  Could be put into a settings.local.php, but given your setup it just becomes a little easier for people.