Use popovers with formatted comments instead of tooltips
Use popovers with formatted comments instead of tooltips

openHPI/codeocean,openHPI/codeocean,openHPI/codeocean,openHPI/codeocean,openHPI/codeocean,openHPI/codeocean