19:48:10 I asked this about every 6 months (sorry): now that as best as I can tell omnios is all loader all the time, can we delete grub now? 19:52:26 :D