When #241 and #260 are merged, the bot/check-results.sh script should be refined so it doesn't incorrectly conclude that a single No missing installations message in the output implies that there are no missing installations at all for any easystack files (there could be multiple)
