Minor: notification build with String.format()
-- Attempt to fix completion for extensions
Update to Idea 138.744