Erm... that was not intended at all. I try to edit my post because I used spoiler instead of hider by mistake, and now it caused me to double post. This is embarrassing.