This morning our laptop somehow got nuts. He restarted several times, locked up and finally he is back alive. Unfortunately, the Ubuntu boot manager got f***. No big deal, we hope, just annoying. Let’s hope he is working now, we can’t afford a replacement right now.