new formatting for bultin-functions appendix

@lileicc