Seems like github has issues with the comments ... `Set<Priority>`.