MikesWorkbench Current Header

This is the current header for Mike’s Workbench, downsized to 353KB.

This is the current header in a downsized version for faster loading times.