Don't feel like you have to rush it on our account: we all have nearly zero time-preference, after all.
I think when it's August 2024, there should have been made some significant progress :)
@remindme August 2024
reply