No new Github commits in three days. Are they cooking something?