How to convert a dict of key=dict pairs to a list of dicts extending each item with key in Ansible?

Question

I have a dict of user definitions (users_def) and a list of user names to actually set up (users):

users_def:
  john:
    attr1: val1