We could probably drop the April Fool’s name?

I would be in favor of keeping it. Initially I did not get the joke and was totally fine with it 😂

I don't think it was an April fools

I started a new thread, so that the discussion could be framed in terms of a proposal to be discussed, rather than "let's drop the joke", if that makes sense.