The source project of this merge request has been removed.
taskmanager: Bind margins of media controls to header's margin
This way of binding is more clear so the comment is also not needed.
This way of binding is more clear so the comment is also not needed.