This is to be used for issues related to the capture the flag plugin on Bobotropolis.