I would be interested to know what the consensus of that discussion actually is. In any case, creating redirects is one the areas where you should be WP:BOLD, so I was and I created the two above redirects. On the rare possibility that there is ever consensus to move this article to one of those titles, the redirect can be technically deleted allowing for the move. - MrX