Time to rename this board?

...and call it Ben Folds Five rather than Ben's Old Five for now, given that they're (temporarily at least) a going concern once more...

Unless people prefer everything in the existing boards.  It's not like there aren't plenty to choose from.