Yes, its financial bonus - The end of year bonus is basically a 13th monthly salary, while the holiday bonus is paid in May before the summer holiday season. I still regret sometimes having done my PhD on a terrible scholarship in the UK...

I think this is what it actually looks like: commons.wikimedia.org/wiki/File:Se...

chrome.google.com/webstore/det... This works quite well, but could be slow if you have many followers/following many (not my case :-) )