Name: ?set_priority_of_presenting_options
Creator: None (system-internal Symbol).
Private: False
Description:
A Tag with this symbol targeting nothing is created to set the priority of presenting options to the user in a 'default' event.