Comment by bjg

He merged commits 3 days, ago... that would lead one to believe it's maintained.