Sadly no. I picked the name and bought the domain before I found out about it. When I found out I created a PR [1] to integrate the two. It's not been merged though.
Given that I bought the domain and all that I'm kinda sticking with the name though.