Renaming Penknife -> Mjolnir.