From bd42f0378a1b96459ee8771474b9a6280e8b2fab Mon Sep 17 00:00:00 2001
From: Christopher Rackauckas <accounts@chrisrackauckas.com>
Date: Mon, 3 Apr 2023 11:13:40 -0400
Subject: [PATCH] new full docs build