This just disables audio notifications and the popup, which is the easiest way to do "do not disturb" for a device. This needs spec changes to be done properly, as it's a shame that mobile devices for the user will still go off.
Disabling all of push doesn't sound ideal as it would potentially mean missing highlights for when leaving DND mode.