Flushed alias

BUR #9085 has been rejected.

create alias flush -> flushed

Same thing, if we even want to keep them. Though these wikis definitely need some work on them.

... Isn't this just a blush?

nonamethanks said:

... Isn't this just a blush?

As far as I can understand it, yeah.

Then they should be aliased to blush. It would be impossible to distinguish them.

BUR #9086 has been approved by @nonamethanks.

create alias flush -> blush
create alias flushed -> blush

Works for me, I doubt we need to reserve flush for the poker term.

The bulk update request #9085 (forum #206659) has been rejected by @nonamethanks.

The bulk update request #9086 (forum #206663) has been approved by @nonamethanks.