Good work! I think it's even more explicit on p25 where it says "A module name can have the form either file.ext or just file. In the latter case the extension

Good work! I think it's even more explicit on p25 where it says "A module name can have the form either file.ext or just file. In the latter case the extension 'PL' is implied."