starting isabelle in secure mode
remove outer syntax from annotations
add show-hint dependency for completions
hinting functions
stylings