Document code to generate login button

Although it is easy to add a log in button to the normal user login form, there is no documentation on how to insert the button manually. I found the following solution by going through the module's php files

<?php
print browserid_login_button()
?>

Perhaps it would be an idea to put this code on the bowserid config page for reference.