I have decided to retire from editing Wikipedia, since it is taking too much of my time, which I should prioritise on more concrete issues (studying, finding a job, etc). I will still make some edits from time to time though. My barnstars will still be shown on my user page, so that my previous work is still known.