Ahh!  Sorry, I misparsed github's UI :-)  Yeah, you're right we can drop that too.