pinocchio mining management. nothing else to do but chill right now. time to enjoy the day and maybe add more if the opportunity presents itself.