I agree! @sat did a great job of turning this around so quickly!
I’m not the most familiar with the dre tool, but there’s an API that can be queried for the relevant information (raw data that requires processing to pick out the necessary info).
Here’s some proposal details that I’ve put together → Subnet Management - 4zbus (Application) - Developers - Internet Computer Developer Forum (dfinity.org)