Admin API to change user types does not appear to update user directory

[reivilibre]

(I haven't thoroughly validated this claim, but didn't want to lose it so thought it'd be better making an issue.)

#11174 appears to allow changing user types via the admin API. This includes changing whether a user is a support user or not. (Support users are excluded from the user directory.)

The PR does not appear to add any handling (or tests) that includes/excludes the changed user in/from the user directory.

(cc @DMRobertson since you've been working on the user directory)

[clokep]

Duplicate of #11185.

[reivilibre]

aw oops sorry :(