vdm: Fix localization of 'top'.
vdm: Fix encoding issues.
vdmfml: Fix URL scheme.