github’s notifications are a bit lacking, so if you want something done, it’s probably best to mail Steve to make sure he knows.