Pinning belongs to Home, so drop it from the editor's menu

Editor ignored the five-pin Home limit, letting users pin unlimited diagrams from inside.