Merge branch 'release/0.80.17' into develop
migration: skip bad users in check(), if theyr are not here, that's because migrate_users() didn't create them and that's OK.
version bump for 0.80.18.
Merge branch 'release/0.80.18'