message: Use the individual man page doc links for the push_descriptor extension
  The `vkspec.html` page is rather large and slow to load and navigate.
  This change is consistent with all other doc links.
diff: @@ -27,7 +27,7 @@ impl PushDescriptor {
  vk::KhrPushDescriptorFn::name()
  }
  - #[doc = "<https://www.khronos.org/registry/vulkan/specs/1.1-extensions/html/vkspec.html#vkCmdPushDescriptorSetKHR>"]
  + #[doc = "<https://www.khronos.org/registry/vulkan/specs/1.1-extensions/man/html/vkCmdPushDescriptorSetKHR.html>"]
  pub unsafe fn cmd_push_descriptor_set(
  &self,
  command_buffer: vk::CommandBuffer,
  @@ -46,7 +46,7 @@ impl PushDescriptor {
  );
  }
  - #[doc = "<https://www.khronos.org/registry/vulkan/specs/1.1-extensions/html/vkspec.html#vkCmdPushDescriptorSetWithTemplateKHR>"]
  + #[doc = "<https://www.khronos.org/registry/vulkan/specs/1.1-extensions/man/html/vkCmdPushDescriptorSetWithTemplateKHR.html>"]
  pub unsafe fn cmd_push_descriptor_set_with_template(
  &self,
  command_buffer: vk::CommandBuffer,
  