Thank you very much - and thanks for sharing the bug!
oh also on an unrelated note... I became a dad last month.. and my daughter's name is Murphy.. so now we are both "MurphysDad" 🤣.
Hahaha that's amazing, congratulations! And excellent choice of name!
