implementation as derived-major-mode done (?)