Made in-code documentation more JSDuck-compatible