The change in the UI is like this (left old, right new):
requested review from @j.wuttke
ok
approved this merge request
merged
mentioned in commit 584e627a