v0.13.0-alpha

New vocabulary terms:
- cardsInDiscardPile collection (#1116, #1117)
- actions.moveCardsToHand (#1112)
- actions.shuffleCardsIntoDeck (#1113, #1125)
- globalConditions.collectionCountComparison (#1114)
- targets.conditionOn (#1129)
- triggers.afterCardEntersDiscardPile (#1115)
- triggers.afterDestroysOtherObject (#1118)
- New effects: cannotmove (#1110) and cannotactivate (#1111)
Improvements to existing vocabulary terms:
- Ability to spawn enemy robots (#1104)
- setAttribute and multipleAttribute can affect multiple attributes (#1099)
Duplicate Set button (#1103)
Game statistics by format displayed in profile page (#1018, #1094, #1095)

Set list page improvements
- Description of what sets are (#1106)
- Sort published sets by num decks created (#1140)
- Sort cards in set by cost (#1105)
- Auto-expand card list for a set in permalink view (#1108)
Robot spawn hexes for each player indicated with a light tint (#1035)
"Create Another?" option in card creator (#1134)
Card creator URL now shows the ID of the card being edited, if any (#1093)
"Normal" game format renamed to "Anything Goes" (#1073)
Load card images asynchronously (#1137)
"Did You Mean?" messages auto-contract keywords (#1097)
Better access to New and Edit buttons on collection page (#1133, #1145)
Sandbox card selector now draws cards instead of moving them to the top of a deck (#1122, #1120)
More responsive buttons in card creator (#833)
Better discard pile button positioning (#1119, #1123)
Hide text select cursor in game board (#1134)

Sandbox mode didn't work (#1077, #1082, #1083, #1092)
Clicking an empty tile would sometimes crash the game (#1127)
Profile page navigation was broken (#1087, #1088)
Activated abilities didn't display (#1078)
Randomize button was broken in card creator (#1135)
spawnObjects would sometimes spawn objects belonging to the wrong player (#1090)
Search bar text didn't persist in the Dictionary dialog (#1085)

Provide feedback