Welcome to the Q&A Forum

My response to "domain opportunities" is usually, let the domain expire and spend the registration savings on beer. In this situation, I would do as you suggest and simply redirect.   That domain is relevant enough that I would give up the beer. I would not take one moment away from my focus on my main project just to use a domain.  I would only use it if I had a new project and that domain was the perfect fit.