Developer postOriginal post (opens in a new tab)

update notes for dec-18 linux

lots of fixes, new bugs, new tools and elements