Added verilog achievements.
Fixed a bug related to four letters extensions (hopefully).